How do you solve 2cos^2x=1?