I agree in principle, but every time I run a debugger on modern C++ it makes it clear that, rather than being a simple and cutesy transformation, "compiler optimization" is actually black magic.

It’s not. You “only” have to learn about computer architecture and computation theory. Meaning a lot of maths /s