Basic Simplification Done
Basic Simplification Done

A little slow though, looking into that. The actual simplification runs
fast, but something about how we evaluate whether changes really made it
simpler is slowing it down.

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie