What is #sin(x+pi/2)#?