Inverse Tangent Difference Identity
## Formula
For suitable $$x,y$$ satisfying the principal-value condition:
$$\tan^{-1}x-\tan^{-1}y=\tan^{-1}\left(\frac{x-y}{1+xy}\right)$$
## Usage
- Used to reduce a difference of inverse tangent terms to one inverse tangent.