Simplify sin(x - pi/2)

Simplify sin(x - pi/2)