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