No matches were found for subject:"\[sympy\] Simplification of a\^x \* \(1\/a\)\^x\: not equal to 1\?"