What is the derivative of #sin((pi/2) - x)#?