cos(pi/2-x)