A (relatively) new way to create a super optimizer is to use an egraph: https://egraphs-good.github.io/

These are nifty data structures that can quickly search the space of equivalent programs.