using ``_expand_exp`` after rewriting more simplifications are possible