> an implementation cost of one PhD thesis per optimization pass. This strikes me as a little much. This kind of proof requires insight, yes, but it's hardly t

> an implementation cost of one PhD thesis per optimization pass. This strikes me as a little much. This kind of proof requires insight, yes, but it's hardly the level of a thesis, it hardly requires innovation to demonstrate. Just exhaustiveness.