\arctan(x)+\arctan(y)=\frac\pi 2