evaluate the integral 1sin(x) cos(cos(x)) dx