Wolfram mathematica 简化Mathematica中的符号表达式

我有以下问题。在Mathematica中定义两个简单的函数，例如，

foo[x_]：=x

，和

bar[y_]：=y

，我希望表达式

foo[x]^（-bar[y]）-（1/foo[x]）^（bar[y]）

将计算为零。然而，我发现（奇怪的是）Mathematica坚持以“象征性的方式”保存这个东西，根本不愿意简化。尝试了许多方法来克服这种行为，但都失败了。非常感谢任何帮助：）

您必须告诉Mathematica x>0：

Simplify[foo[x]^(-bar[y]) - (1/foo[x])^(bar[y]), x > 0]

0

---

foo[x]^（-bar[y]）-（1/foo[x]）^（bar[y]）/。{y->1/2，x->-1/2}

是的，好的，但这不是一个非常通用的解决方案。例如，为什么它适用于

x>0

，但如果我假设

x，它就不起作用了这是因为它对x进行了简化