egraphs-good / eggcc

MIT License
52 stars 11 forks source link

Eliminate common subexpressions in our queries #644

Closed yihozhang closed 2 weeks ago

yihozhang commented 2 weeks ago

Porting part of #617 to the main.

Many of our bottleneck queries can indeed be improved because they have common sub-expressions. A better egglog should do this optimization automatically but it currently does not.