How do you solve # sin (x- (pi/2))= cos x#?