What is the derivative of pi(cos(x))?