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