verify the identity of
sin (x+pi/2)=cos x
sin (x+pi/2)=cos x