1 + 2 \cdot \left( \frac{\sqrt{3}}{2} \cdot \cos x - \frac{1}{2} \cdot \sin x \right )^2 = 3 \cdot \left( \frac{\sqrt{3}}{2} \cdot \cos x - \frac{1}{2} \cdot \sin x \right )