Made simpleifyExpr shorter