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 X5 = t7-t11 t12 = X3*Z2 t13 = X2*Z3 t14 = t13-t12 t15 = t14^2 Z5 = X1*t15