tan−1x+tan−1y=tan−1x+y1−xy\tan^{-1} x + \tan^{-1} y = \tan^{-1}\dfrac{x + y}{1 - xy}tan−1x+tan−1y=tan−11−xyx+y (with sign conditions).