YY1 = Y1^2 A = Y1*Z1 Z3 = 2*A t0 = YY1*X1 B = 4*t0 ZZ3 = Z3^2 t1 = X1^2 D = 3*t1 t2 = ZZ1+X1 t3 = ZZ1*t2 t4 = a*t3 t5 = 6*t4 E = D+t5 t6 = E^2 t7 = a3*ZZ3 t8 = 2*B t9 = t6-t8 X3 = t9-t7 t10 = B-X3 t11 = YY1^2 t12 = 8*t11 t13 = E*t10 Y3 = t13-t12