A = X1^2
B = Y1^2
Z3 = A
ZZ3 = A^2
X3 = ZZ3+a6
XZ3 = X3*Z3
t0 = B+X3
t1 = t0+Z3
t2 = a6*ZZ3
t3 = B*t1
t4 = t3+t2
Y3 = t4+XZ3