>>146
y0 = xと分かっているのだから
いつまでもy0のまま計算するのはやめろお（´・ω・｀）

引き算した式が
(y-x)' = 2x(y-x) -(y^2 -x^2)

　次の代入で符号を間違えてるお（´・ω・｀）
u = y-xとおいたら
y^2 = (u+x)^2
u' = 2xu - (u^2 +2xu)
　　　　　　　　　　↑ここの符号
u' = -u^2