Optimize floating-point expressions for accuracy
Why do you think that https://github.com/egraphs-good/egglog is a good alternative to herbie
Optimize floating-point expressions for accuracy
Why do you think that https://github.com/egraphs-good/egglog is a good alternative to herbie