expansions visualization but egraph updated in the end