O1 = Z1^2 B = X2*O1 t0 = O1*Z1 D = Y2*t0 E = X1+B F = Y1+D Z3 = E*Z1 t1 = Z3*Y2 t2 = F*X2 H = t2+t1 I = F+Z3 G = Z3^2 t3 = E^2 t4 = E*t3 t5 = F*I t6 = a2*G t7 = t6+t5 X3 = t7+t4 t8 = G*H t9 = I*X3 Y3 = t9+t8