Creating one egraph in `generate-candidates`#1143

Merged

pavpanchekha merged 1 commit intomainfrom simplify-rewrite-in-one-shot

Jan 27, 2025

+7-53

Commits on Jan 26, 2025

removed lower-approximations, and putting taylor series straight to run-rr
AYadrov
committed