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