atan(x)+atan(y)=atan((x+y)/(1-xy))