tmp0 = X3 - Z3
tmp1 = X2 - Z2
X2 = X2 + Z2
Z2 = X3 + Z3
Z3 = X2 * tmp0
Z2 = Z2 * tmp1
tmp0 = tmp1^2
tmp1 = X2^2
X3 = Z3 + Z2
Z2 = Z3 - Z2
X4 = tmp1 * tmp0
tmp1 = tmp1 - tmp0
Z2 = Z2^2
Z3 = tmp1 * a24
X5 = X3^2
tmp0 = tmp0 + Z3
Z5 = X1 * Z2
Z4 = tmp1 * tmp0