Optimizing software: Computing professor's 'egg' downsizes programs to make them more nimble

<!-- SC_OFF --><div class="md"><p>E-graphs, originally developed for use in automated theorem provers, are data structures that compactly represent a large number of expressions and the equalities bet...