To the general reader, since maybe I have your attention, and maybe you like computer science and algorithms, let me direct your attention to:

DAG-Aware AIG Rewriting: A Fresh Look at Combinational Logic Synthesis http://people.eecs.berkeley.edu/~alanmi/publications/2006/da...

Which is the inspiration for this tool: https://github.com/berkeley-abc/abc

Which how this flow does synthesis: https://openroad.readthedocs.io/en/latest/