A = X2*Z3 B = X3*Z2 XX2 = X2^2 ZZ2 = Z2^2 t0 = A+B Z5 = t0^2 t1 = A*B t2 = X1*Z5 X5 = t2+t1 t3 = sqrta6*ZZ2 t4 = XX2+t3 X4 = t4^2 Z4 = XX2*ZZ2