Ok, but for this case `(3/4)^x * (4/3)^y`, Mathematica returns `(3/4)^(x-y)` and for this `(4/3)^x * (3/4)^y` Mathematica returns `(4/3)^(x-y)`. So the search I guess must be taking place there at some point.