A = X1^2
B = Y1^2
Z3 = ZZ1*A
ZZ3 = Z3^2
t0 = sqrta6*ZZ1
t1 = A+t0
X3 = t1^2
t2 = B+X3
t3 = t2+Z3
t4 = a6*ZZ3
t5 = B*t3
t6 = t5+t4
Y3 = t6+ZZ3