Using e-graphs for logic synthesis (ICCAD'25) - View it on GitHub