Eine Stammfunktion von t 1 + t 2 {\displaystyle {}{\frac {t}{1+t^{2}}}} ist 1 2 ln ( 1 + t 2 ) {\displaystyle {}{\frac {1}{2}}\ln(1+t^{2})} , eine Stammfunktion von tan t = sin t cos t {\displaystyle {}\tan t={\frac {\sin t}{\cos t}}} ist, − ln ( cos t ) {\displaystyle {}-\ln(\cos t)} , daher ist