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