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