Loading paper
Combining Power and Arithmetic Optimization via Datapath Rewriting | Tomesphere