What is the derivative of cos(x^2)?