A = X2*Z3 B = X3*Z2 t0 = A+B Z5 = t0^2 t1 = A*B t2 = X1*Z5 X5 = t2+t1