If the engineer who develops this (provably optimized) codebase can't read the code, he/she should be replaced with someone who can.
But, there are plenty of optimizations one might make that are obtuse and difficult for any human to easily hold in their head.