t0 = X3*Z2 t1 = X2*Z3 t2 = Z2*Z3 t3 = a*t2 t4 = X2*X3 t5 = t4-t3 t6 = t1+t0 t7 = t5^2 t8 = Z3*t6 t9 = Z2*t8 t10 = b*t9 t11 = 4*t10 t12 = t7-t11 X5 = Z1*t12 t13 = X3*Z2 t14 = X2*Z3 t15 = t14-t13 t16 = t15^2 Z5 = X1*t16