solve sin x = -\sqrt 3 / 2 em [0, 2pi)