Inverse Tangent of a Difference of Fractions
## Formula
$$\tan^{-1}\frac{x-y}{1+xy}=\tan^{-1}x-\tan^{-1}y$$
provided the right-hand side lies in the principal range.
## Usage
- Used to recognize two inverse tangent terms from a single fractional argument.