`a^5xxa^-3 = a^(5+(-3))`

`=a^(5-3)`

`=a^2`

Please support IntMath!