Which is similar to correcting subpar human results:
Rather than meticulously correcting the works of a subpar programmer it is much more efficient to let a proficient developer produce the code. Or even better, engage a 10x developer.
If an inefficient programmer can solve a real world business problem in a fraction of the time, but it requires slightly more computing resources, I’d still pay for it. Efficiency can be measured in a lot of dimensions and often times spending time and money writing optimized code is inefficient as well.