What is the derivative of cos(pi x)?