adding a simplification rule for division