Mathematics is quite similar as well. I hated memorising formulae and theorems as I always thought if I can derive them then why bother. But the cognitive load

Mathematics is quite similar as well. I hated memorising formulae and theorems as I always thought if I can derive them then why bother. But the cognitive load when working on more complex problems and having to think about the problem at hand as well as the tools used to solve it just doesn't scale well enough and it limited me until I accepted that a large part of mathematical intuition involves having these as a part of my memory. Of course, this doesn't need to(and shouldn't need to) happen through rote-learning but rather through a large number of problems that it happens naturally.