changes to simplification without associativity