#title:Regra de integra\c{c}\~{a}o para o logaritmo  
#Let:



f P= [x, sin(x), cos(x), x^6 ]; 
f dp=[1, cos(x), -sin(x),6*x^5 ];

p~dp;

cf p_alfa= #dp/#p;
cf res = ln(#p);



#Question:

\noindent Calcule o integral,
$$
\int #dp/#p dx.
$$


#Sugestion:

\noindent Utilize a fórmula do formul\'{a}rio
$$
\int \frac{u'}{u} = ln(u)+C.
$$
Convem verificar dom\'{i}nio das fun\c{c}\~{o}es.


#Resolution

Obtem-se
$$
\int #dp/#p dx= #res+C.
$$

#result

$$ #res+C $$

#Verify

ln(#p)+C.