w1 = X1+Y1 w2 = X2+Y2 t0 = X1^2 A = t0+X1 t1 = Y1^2 B = t1+Y1 t2 = w1*w2 C = d2*t2 D = X2*Y2 t3 = w1+X2 t4 = D+X2 t5 = A*w2 t6 = A*t4 t7 = d1*t3 t8 = C+t7 t9 = t8+t6 t10 = d1+t5 t11 = 1/t10 t12 = t9*t11 X3 = Y1+t12 t13 = w1+Y2 t14 = D+Y2 t15 = B*w2 t16 = B*t14 t17 = d1*t13 t18 = C+t17 t19 = t18+t16 t20 = d1+t15 t21 = 1/t20 t22 = t19*t21 Y3 = X1+t22