A = X2*Z3
B = X3*Z2
XX2 = X2^2
ZZ2 = Z2^2
t0 = A+B
Z5 = t0^2
t1 = A*B
t2 = X1*Z5
X5 = t2+t1
t3 = XX2^2
t4 = ZZ2^2
t5 = a6*t4
X4 = t3+t5
Z4 = XX2*ZZ2