better debugging for simplex history