The e-graph approach to optimization is really elegant. Curious how much compile-time overhead it adds vs the optimization wins it gets.