How do you differentiate cos(pi*x^2)?