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