Merge pull request #1406 from herbie-fp/egglog-vars #4665

Job	Run time
distribute (ubuntu-latest, x64)	3m 26s
distribute (macos-latest, aarch64)	9m 59s
distribute (macos-13, x64)	18m 37s
distribute (windows-latest, x64)	7m 28s
	39m 30s

Provide feedback