\Rightarrow \sin x \cos x = \frac{u^2 - 1}{2}