准新手，不知道怎么描述问题才能有效搜索，所以只好提问！
已知一个函数 f(x,y,z)的表达式，比如 f(x,y,z)=1/x + y^2 + z
另外推得一个公式 g(a,b,c,x,y,z)= (a+b)/x + (a+b) y^2 + (a+b) z + c^7+, 内部肯定包含了f(x,y,z)的表达式，其中(a+b)是个复杂表达式，请问有什么办法 将g 代换成下列形式：
g(a,b,c, x, y, z) = (a+b) f(x,y,z) + c^7
说明： 我是期望能够保持 f(x,y,z), 做了这样的反向代换，以简化整个表达式。
（本人准新手，基本操作了解，对mathematica缺少整体了解）
请赐教！

我也一直有这个问题，之前想到一个，不过大概只能解决比较简单的式子。

可以试试FullSimplify+Assumptions，不确定对更复杂的表达式能不能生效，但至少你这个例子还是可以的
FullSimplify[(a + b)/x + (a + b) y^2 + (a + b) z + c^7,
Assumptions -> {f[x, y, z] == 1/x + y^2 + z}]

同样不保证对复杂例子能生效：
Collect[(a + b)/x + (a + b) y^2 + (a + b) z + c^7 /. a -> apb - b, apb(*,#/._->f[x,y,
z]&*)] /. apb -> a + b

@xzcyr @无影东瓜 @qflwq
三位大佬，我没有说清楚，我的期望是获得：c^7+(a+b)*f[x,y,z]
也就是获得换元效果，但自变量跟随变化，只有这样才能得到化简效果啊！

就是自定义函数啦
tuiLi[rhs_] :=
Block[{g, grhs = (a + b)/x + (a + b) y^2 + (a + b) z + c^7},
Cases[Reduce[{f == rhs, g == grhs}, {f, g}],
x_Equal /; x[[1]] == g] // Simplify // First]