How do you find the antiderivative of cos(x)sin(sin(x))dx?