A = X1^2 U = a4*ZZ1 t0 = 4*U B = A-t0 C = A*U t1 = 2*Y1 Z3 = t1^2 X3 = B^2 t2 = 32*C t3 = X3+t2 t4 = Z3-C t5 = a*t4 t6 = 2*t3 t7 = t6+t5 t8 = B*t7 Y3 = Y1*t8 ZZ3 = Z3^2