For these test cases only the “Shifted FMA” e-graph saturated as we limited the exploration to 10 iterations of e-graph rewriting [1]}. For test cases using ILP extraction we limited the solver to a 100 second time budget, which means that the FIR Filter solution is classified as feasible but is possibly sub-optimal. There is a tradeoff between growing the e-graph and solving the ILP efficiently. Only the MCM solution included the “Constant Expansion” rewrite class since these rewrites lead to exponential growth of the e-graph.
