equality saturation 1 post [Program Synthesis #7] Representation의 확장: FTA와 E-graph로 보는 프로그램 공간 Mar 21, 2026