W1 = X1+Y1 W2 = X2+Y2 t0 = X1+Z1 A = X1*t0 t1 = Y1+Z1 B = Y1*t1 C = Z1*Z2 D = W2*Z2 t2 = C^2 E = d1*t2 t3 = d2*W2 t4 = d1*Z2 t5 = t4+t3 t6 = W1*C H = t5*t6 t7 = C*Z1 I = d1*t7 t8 = A*D U = E+t8 t9 = B*D V = E+t9 S = U*V t10 = Y2+Z2 t11 = A*t10 t12 = I+t11 t13 = X2*t12 t14 = H+t13 t15 = V*Z1 t16 = t14*t15 t17 = S*Y1 X3 = t17+t16 t18 = X2+Z2 t19 = B*t18 t20 = I+t19 t21 = Y2*t20 t22 = H+t21 t23 = U*Z1 t24 = t22*t23 t25 = S*X1 Y3 = t25+t24 Z3 = S*Z1