Inverse Tangent of a Cotangent
## Formula
For:
$$x\in(0,\pi)$$
$$\tan^{-1}(\cot x)=\frac\pi2-x$$
when the result lies in the principal range of $$\tan^{-1}$$.
## Usage
- Used to convert inverse tangent of cotangent into an algebraic angle expression.