arctan(a) + arctan(b) + arctan(c)
 = arctan((a+b+c-abc)/(1-ab-bc-ca)),