Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis. - Julien de Castelnau; Mingfei Yu; Giovanni De Micheli (CoRR, 2025)