How is that done?  My naive approach would be &quot;always pick the next symbol that most increases complexity&quot; but that doesn&#x27;t seem guaranteed to diverge and could easily be trapped in local Maxima...