\tan^2 x = \frac{1}{3}