Merge pull request #1409 from herbie-fp/why-egraph-big #4668

Job	Run time
distribute (macos-13, x64)	20m 27s
distribute (ubuntu-latest, x64)	3m 35s
distribute (macos-latest, aarch64)	8m 51s
distribute (windows-latest, x64)	7m 37s
	40m 30s

Provide feedback