How do you verify the identity #cos(pi/2+x)=-sinx#?