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