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