HM is worst-case exponential, but it just happens to have good performance in practice.