A = XX1^2 B = Y1^2 t0 = X1+Y1 t1 = t0^2 t2 = XX1+B X3 = t2-t1 Z3 = A-1 XX3 = X3^2 ZZ3 = Z3^2 T3 = XX3+ZZ3 t3 = X3+Z3 t4 = t3^2 R3 = t4-T3 t5 = 2*XX1 t6 = A+t5 t7 = t6+1 t8 = B*t7 t9 = 2*t8 Y3 = t9-T3