What is the derivative of sin(cosx)?