What is the result of this integral? $$\int e^{\cos x} \cos(2x+\sin x)dx$$
I tried to use integration by parts but nothing made sense to me in this given problem. What should we do to solve these kinds of integrals? This is from a high school contest so we cannot use complex integration. Thank you!
$\int e^{\cos x}\cos(2x+\sin x)dx$
$=\int e^{\cos x}\cos(x+(x+\sin x))dx$
$=\int e^{\cos x}(\cos(x)\cos(x+\sin x)-\sin x \sin(x+\sin x))dx$
$=\int e^{\cos x}(-\sin x)\sin(x+\sin x)dx+\int e^{\cos x}(\cos x)\cos(x+\sin x)dx$
$=e^{\cos x}\sin(x+\sin x)-\int e^{\cos x}\cos(x+\sin x)(1+\cos x)dx+\int e^{\cos x}(\cos x)\cos(x+\sin x)dx$
$=e^{\cos x}\sin(x+\sin x)-\int e^{\cos x}\cos(x+\sin x)dx$
$=e^{\cos x}\sin(x+\sin x)-\int e^{\cos x}(\cos x\cos(\sin x)-\sin x\sin(\sin x))dx$
$=e^{\cos x}\sin(x+\sin x)-\int e^{\cos x}(-\sin x)\sin(\sin x)dx-\int e^{\cos x}(\cos x)\cos(\sin x)$
$=e^{\cos x}\sin(x+\sin x)- e^{\cos x}\sin(\sin x)+\int e^{\cos x}(\cos x)\cos(\sin x)dx-\int e^{\cos x}(\cos x)\cos(\sin x)dx$
$=e^{\cos x}\left(\sin(x+\sin x)- \sin(\sin x)\right)+c$