I think it is bad because non-commutative expressions simplify poorly and commutivity is, in my world, the overwhelmingly common case.  I'll disable commutativity-by-default and see if I can come up with a good example.