A = X1^2 B = A^2 C = Y1^2 D = C^2 E = A+C t0 = d1+E t1 = t0+B t2 = t1+D F = 1/t2 t3 = d1*E t4 = t3+A t5 = t4+B X3 = t5*F t6 = d1*F t7 = X3+1 Y3 = t7+t6