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 L = d1*K t6 = K+I t7 = t6+J t8 = t7+C t9 = L*t8 t10 = F+t9 U = C*t10 t11 = A*B t12 = G*H t13 = d1*E t14 = t13+t12 t15 = t14+t11 t16 = L*t15 t17 = D*F t18 = U+t17 V = t18+t16 t19 = A+D t20 = G+D t21 = t19*t20 t22 = D*t21 X3 = V+t22 t23 = B+D t24 = H+D t25 = t23*t24 t26 = D*t25 Y3 = V+t26 Z3 = U