$$\frac{\cos(\pi+x)\cos(-x)}{\sin(\pi-x)\cos(\frac{\pi}{2}+x)}=\cot^{2}x$$
$x\neq \pi n_{1}$
$\forall n_{1}\in \mathrm{Z}$
