 \frac{\sin x}{\cos x} \cdot \frac{\sin 2x}{\cos 2x} = 1