> > > I found some debugging code in the shrinker that got left on. I've > > > turned it off and am re-running the tests. > > > > Much better. I've appended the log below. Still a bit slow, but more > > like a factor of 2 or so. > > 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.