- Beta extraction in the rise ruleset may be used to speed up beta-reduction - The sexpr emitter would probably be a lot faster if we completely removed all indentation - On a larger test case (`lit/rebuild_loop_diff.mim`) the performance issues become clearer - equality saturation in egg takes ~7s while sexpr emission takes ~1.5s for this example - In slotted, the sexprs are too large and nested to parse recursively in the first place
lit/rebuild_loop_diff.mim) the performance issues become clearer