<p>this is the first or maybe fifth step on a journey that eventually leads to "just feed the netlist into an LLM and ask it to make it smaller, then use SAT to check if it's a legal transformation or not" (an actual thing i've read a paper on recently)</p>
