A = X1^2
B = A^2
C = Z1^2
D = C^2
t0 = D^2
t1 = a6*t0
X3 = B+t1
Z3 = X1*C
t2 = Y1*Z1
t3 = A+t2
t4 = t3+Z3
t5 = t4*X3
t6 = B*Z3
Y3 = t6+t5