TeX source:
\tan'(t) = \frac{1}{\cos^2(t)}=1+\tan^2 t.