How do you solve tan^2 (x) = 1/3 from [0,2pi]?