Rewriting using exponent properties