Interesting point, what would explain it is non linearity. If you get 20% efficiency at 5 but 35% at 7km depth it might still be worth it. Would still have to outperform exponential drill cost with depth