Simplifying negative exponents