a = X2 + Z2
b = X2 - Z2
c = X3 + Z3
d = X3 - Z3
da = d * a
cb = c * b
X3 = da + cb
Z3 = da - cb
aa = a^2
bb = b^2
X5 = X3^2
Z3 = Z3^2
e = aa - bb
e121665 = e * am24
aa_e121665 = aa + e121665
X4 = aa * bb
Z4 = e * aa_e121665
Z5 = Z3 * X1