Survey rewrite rules

[ninehusky]

Why care about conditional rewrite rules? I think the high-level answer to the question is obvious, especially in light of how many are in Halide. But, it might be useful to try to survey rewrites across domains and get a sense for what's useful and not useful. In other words, it might be nice to have data which shows that conditional rules are used often.

Maybe it might be as simple as using Egg tools to run benchmarks and use proofs to see how many conditional rewrites fire?