Reclassified Some Rules So That Simplify Does Not Do Unsound Things
Reclassified Some Rules So That Simplify Does Not Do Unsound Things

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