我知道我们可以使用solve 例如找到函数的反函数
f(x):= a*x+b$
[invf]:solve(f=f(x),x);
但是，我无法弄清楚如何在新函数的定义中使用它。我尝试了一些事情，例如：
invF(f):=rhs(invf);
但finrhs(invf)不被识别为 function 的参数invF(f)。有没有什么方法可以定义逆，或者可以简单地使用这个表达式并使用类似的东西subst来评估它？