Simplify a^(-n)