How do you find the antiderivative of this equation e^(3x) - 4 cos x?