Canonicalize Vars Inside Terms For Better Cancellation
Canonicalize Vars Inside Terms For Better Cancellation

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