Egraphs are back

[olynch]

No description provided.

[codecov]

Codecov Report

Attention: 312 lines in your changes are missing coverage. Please review.

Comparison is base (1ee1536) 96.61% compared to head (a6709d8) 82.60%.
Report is 1 commits behind head on main.

❗ Current head a6709d8 differs from pull request most recent head 75dc28e. Consider uploading reports for the commit 75dc28e to get more accurate results

Files	Patch %	Lines
src/syntax/egraphs/ematching.jl	0.00%	141 Missing ⚠️
src/syntax/egraphs/east.jl	0.00%	131 Missing ⚠️
src/syntax/egraphs/extraction.jl	0.00%	22 Missing ⚠️
src/syntax/egraphs/algebraic.jl	0.00%	18 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff             @@
##             main     #125       +/-   ##
===========================================
- Coverage   96.61%   82.60%   -14.01%     
===========================================
  Files          38       39        +1     
  Lines        2067     2231      +164     
===========================================
- Hits         1997     1843      -154     
- Misses         70      388      +318     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.