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