expand_expr -> expander().fold_expr