What is the derivative of f(x)=cos(pi*x^2)?