A = X2+Z2
AA = A^2
B = X2-Z2
BB = B^2
E = AA-BB
C = X3+Z3
D = X3-Z3
DA = D*A
CB = C*B
t0 = DA+CB
X5 = t0^2
t1 = DA-CB
t2 = t1^2
Z5 = X1*t2
X4 = AA*BB
t3 = a24*E
t4 = BB+t3
Z4 = E*t4