Do we need to know the proofs for the derivatives of sin, cos, tan, sec, csc, and cot that we went over from the textbook?