Durch die Definition von tanx erhalten wir
Wir sehen hier, dass der Zähler sinx die (fast) Ableitung vom Nenner ist. Daher machen wir die Substitution u=cosx,
Hinweis: −lncosx+C ist nur eine Stammfunktion wenn cosx=0.