For proficiency in calculus, which is built on proficiency in trig, is one supposed to simply commit these to memory or more so to intuitively understand why they are what they are?