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
t1 = t0^2
X5 = Z1*t1
t2 = DA-CB
t3 = t2^2
Z5 = X1*t3
X4 = AA*BB
t4 = a24*E
t5 = BB+t4
Z4 = E*t5