いつも
{x0, y0} = {x, y} /. {x -> u, y -> v}
という感じで解をx0,y0に代入してる

x,yに解を代入しないのは、もう一度x,yで方程式記述するとき
すでに値が入っていると思うように動かないので、それを避けるため