What is the derivative of #f(x)=cos(pi/2-x)#?