A = X1*X2 B = Y1*Y2 C = Z1*Z2 D = d1*C E = C^2 F = d1d1*E t0 = X1+Z1 t1 = X2+Z2 G = t0*t1 t2 = Y1+Z1 t3 = Y2+Z2 H = t2*t3 I = A+G J = B+H t4 = X1+Y1 t5 = X2+Y2 K = t4*t5 t6 = K+I t7 = t6+J t8 = t7+C t9 = K*t8 t10 = d1*t9 t11 = F+t10 U = C*t11 t12 = A*B t13 = G*H t14 = d1*E t15 = t14+t13 t16 = t15+t12 t17 = I*J t18 = d2plusd1*t17 t19 = d2*t16 t20 = t19+t18 t21 = K*t20 t22 = D*F t23 = U+t22 V = t23+t21 t24 = A+D t25 = G+D t26 = t24*t25 t27 = D*t26 X3 = V+t27 t28 = B+D t29 = H+D t30 = t28*t29 t31 = D*t30 Y3 = V+t31 t32 = K^2 t33 = C*t32 t34 = d2plusd1*t33 Z3 = U+t34