A = X2*X3 B = Z2*Z3 XX2 = X2^2 ZZ2 = Z2^2 t0 = XX2^2 t1 = ZZ2^2 t2 = a6*t1 X4 = t0+t2 Z4 = XX2*ZZ2 t3 = A^2 t4 = B^2 t5 = a6*t4 t6 = t3+t5 X5 = Z1*t6 t7 = X2+Z2 t8 = X3+Z3 t9 = t7*t8 t10 = t9-A t11 = t10-B t12 = t11^2 Z5 = X1*t12