> > Check out the diff for once.fun that I just checked in. See if actually > > globalizing constants helps. ;) > > BTW, this fixes the slowdown in knuth-bendix. Great. I am running one more round of benchmarks. Assuming that works, I propose to rip out the CPS simplifier. It is interesting that the omission of globalizing constants didn't hurt any other benchmarks.