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