How do you find the antiderivative of (cos 2x)e^(cos 2x)?