1 - \tan^2 x = \frac{1}{2} \cdot \tan^2 x + \frac{1}{2}