Once something's been extracted from the egraph, there's not an easy way to get the term back into something like an egg::RecExpr or an egglog::Term.