#778 reveals that with the term encoding, math-microbenchmark has nondeterministic output in the database size.
I think that we intend to guarantee deterministic output for egglog in single-threaded mode. We should investigate this and just as importantly document egglog's guarantees.
