What is the derivative of #cos(pi/2)#?