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