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