What is the integral of #int cos(x)sin(sin(x))dx#?