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