t0 = Z2*Z3 t1 = X2*X3 t2 = t1-t0 t3 = t2^2 X5 = Z1*t3 t4 = Z2*X3 t5 = X2*Z3 t6 = t5-t4 t7 = t6^2 Z5 = X1*t7