How do you integrate e^(-x)cos(3x)dx?