simplifyExprT