OP asked "this level", by the way. It is hard to write macros for every such case.

However, OP may read about superoptimization, which is yet in research stage.