Verify the identity:
cos(x+π/2)= -sinx
cos(x+π/2)= -sinx