Explanations and Unconditional Rewrites

[shinawy]

Hello, I am recently using python-egglog, and I am stuck in some problems. I have two questions:

1. How can I reason about the flow and order of rewrites to get from the input expression to the extracted expression? Something like the Explanations in the Rust plugin.
2. Also using rewrite without the "when" argument is not actually applying the rule unconditionally, and it is cost-based. How can I make EGG apply a rule unconditionally ignoring the costs?

Your answer is much appreciated.