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