\tan(\arctan(x)+\arctan(y))=\tan\left(\arctan\left(\frac{x+y}{1-xy}\right)\right)