Knot theory in math has always surprised me as surprisingly inelegant for something so simple common-place. And I don't mean inelegant in a bad way, I think it's really interesting. It just seems like they don't really have much in the way of generalizable principles, and everything is algorithmic.