<p><span class="h-card" translate="no"><a href="https://infosec.exchange/@david_chisnall" class="u-url mention">@<span>david_chisnall</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@steve" class="u-url mention">@<span>steve</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@wingo" class="u-url mention">@<span>wingo</span></a></span> (each individual pass will perform every possible rewrite after only iterating through the netlist once; it's only the case where there are very incremental simplifications achieved by 2 or 3 passes running in a chain which result in this inefficiency)</p>