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