I used to think it odd that JITs rarely beat AOT because a JIT has more info. Turns out JITs can't afford powerful but slow optimisations.