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