Major Update to Simplifying Expresssions