A = X1^2
B = A-a16
C = a2*A
YY = Y1^2
YY2 = 2*YY
Z3 = 2*YY2
X3 = B^2
t0 = Y1+B
t1 = t0^2
t2 = t1-YY
V = t2-X3
t3 = YY2-C
t4 = a*t3
t5 = 64*C
t6 = X3+t5
t7 = t6+t4
Y3 = V*t7
ZZ3 = Z3^2