Risolvi cos x = \sqrt 3/2 in [0, 2pi)