Solve cos(2x) = 1/2 on [0, 2pi)