Hallo ich habe folgende Aufgabe : 
Aufgabe:
∫ dx (  \( \frac{4+3x^2}{tan(x^3+4x)} \) -tan(x) ) 
Problem/Ansatz:
Nun verstehe Ich nicht wieso die Stammfunktion des ersten Summanden
ln(sin(x³+4x)) ist.
Die Regel mit  ∫ \( \frac{f´(x)}{f(x)} \) dx = ln(f(x)) kenne ich aber woher kommt der sinus ? 
Wenn man den tan umschreibt hätte man : 
\( \frac{cos((x^3+4x)(4+3x^2)}{sin(x^3+4x)} \)  aber von dem Bruch die Stammfunktion raus zu bekommen habe Ich einfach nicht geschafft.
Liebe Grüße Kevin