Solve tan x = \sqrt 3 on [0, 2pi)