如何在最大相等式中隔离特定项

问：

我用最大值执行一些计算，我想在等式的左侧隔离表达式的特定部分，并将其余部分推到右侧。

举个例子，我想用以下表达式来隔离：x^2+y^2

(%i1)   expand((x-x1)^2 + (y-y1 )^2 = r1^2);
(%o1)   y1^2-2*y*y1+y^2+x1^2-2*x*x1+x^2=r1^2

我想要：

(%o1)   y^2+x^2=r1^2+2*x*x1-x1^2+2*y*y1-y1^2

我以为曾经这样做过，但这显然不是正确的功能：algsys

(%i3)   algsys ([expand((x-x1)^2 + (y-y1 )^2 = r1^2)], [x^2+y^2]);
(%o3)   []

(%i4)   algsys ([expand((x-x1)^2 + (y-y1 )^2 = r1^2)], [x]);
(%o4)   [[x=sqrt(-y1^2+2*y*y1-y^2+r1^2)+x1],[x=x1-sqrt(-y1^2+2*y*y1-y^2+r1^2)]]

您知道如何用最大值隔离表达式中的特定项吗？