solve tan x = \sqrt 3 em [0, 2pi)