Is the following trigonometric equation an identity?
$\cot\left(2x\right)=\frac{\cot^2x-1}{2\cot x}$