Micro optimization like this to get big size or speed advantages seems to yield huge results, with the downside that it is hugely human labour intensive.

If we could train AI to do it, it might be a revolution in software performance.