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