rm-fns-&-invs called after resolve-terms
rm-fns-&-invs called after resolve-terms

Now, we try to remove functions with their inverses twice: once before
canonicalizing, and once after the factors and terms have been resolved.

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