Consider these two equations:
x^y + xy
a^b + ab
I want to be able to recognize these as identical symbolic expressions. "Simplify" won't work. "Subs" (substituting a for x, etc.) won't always work either because the order of the variables may change, etc.
So, is there a way to get an abstract representation for a SymPy expression that is independent of the symbols used?