cos(pi/2 -x)=