expansion: derived_term?
It would be nice to be able to display the derived-term automaton from an expansion. And actually the derived-term of an expression is the derived-term of its expansion.
That would sometimes help when working with expansions.