We added the “Constant Expansion” rules to re-express multiplication of a variable by a constant. These rules allow us to recreate results from the literature described in §REF  on the MCM problem.
In addition to the explicit rewrite rules, constant folding is implemented as an e-class analysis in
egg [1]}.
