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