Solve sin x = -\sqrt 2/2 on [0, 2pi)