Solve $$$2 \cot{\left(2 x \right)} = 0$$$ for $$$x$$$
Your Input
Solve the equation $$$2 \cot{\left(2 x \right)} = 0$$$ for $$$x$$$.
Answer
Real roots
$$$x\in\left\{\frac{\pi \left(2 n + 1\right)}{4}\; \middle|\; n \in \mathbb{Z}\right\}\approx \left\{1.570796326794897 n + 0.785398163397448\; \middle|\; n \in \mathbb{Z}\right\}$$$
Complex roots
It seems that there are no complex roots.