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