A compiler optimization that converts an expression into a reassociated form that has:

complex_expressions variables constants
  • Combined expressions on left
  • Variables on the left
  • Constants on the right Uses algebraic Associativity and Commutivity

Example