SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR