egg is a flexible, high-performance e-graph library - View it on GitHub