Optimal. Leaf size=228 \[ -\frac{n \text{PolyLog}\left (2,\frac{2 c (d+e x)}{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}\right )}{e}-\frac{n \text{PolyLog}\left (2,\frac{2 c (d+e x)}{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}\right )}{e}-\frac{n \log (d+e x) \log \left (-\frac{e \left (-\sqrt{b^2-4 a c}+b+2 c x\right )}{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}\right )}{e}-\frac{n \log (d+e x) \log \left (-\frac{e \left (\sqrt{b^2-4 a c}+b+2 c x\right )}{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}\right )}{e}+\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.411819, antiderivative size = 228, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 5, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.217, Rules used = {2524, 2418, 2394, 2393, 2391} \[ -\frac{n \text{PolyLog}\left (2,\frac{2 c (d+e x)}{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}\right )}{e}-\frac{n \text{PolyLog}\left (2,\frac{2 c (d+e x)}{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}\right )}{e}-\frac{n \log (d+e x) \log \left (-\frac{e \left (-\sqrt{b^2-4 a c}+b+2 c x\right )}{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}\right )}{e}-\frac{n \log (d+e x) \log \left (-\frac{e \left (\sqrt{b^2-4 a c}+b+2 c x\right )}{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}\right )}{e}+\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2524
Rule 2418
Rule 2394
Rule 2393
Rule 2391
Rubi steps
\begin{align*} \int \frac{\log \left (d \left (a+b x+c x^2\right )^n\right )}{d+e x} \, dx &=\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e}-\frac{n \int \frac{(b+2 c x) \log (d+e x)}{a+b x+c x^2} \, dx}{e}\\ &=\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e}-\frac{n \int \left (\frac{2 c \log (d+e x)}{b-\sqrt{b^2-4 a c}+2 c x}+\frac{2 c \log (d+e x)}{b+\sqrt{b^2-4 a c}+2 c x}\right ) \, dx}{e}\\ &=\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e}-\frac{(2 c n) \int \frac{\log (d+e x)}{b-\sqrt{b^2-4 a c}+2 c x} \, dx}{e}-\frac{(2 c n) \int \frac{\log (d+e x)}{b+\sqrt{b^2-4 a c}+2 c x} \, dx}{e}\\ &=-\frac{n \log \left (-\frac{e \left (b-\sqrt{b^2-4 a c}+2 c x\right )}{2 c d-\left (b-\sqrt{b^2-4 a c}\right ) e}\right ) \log (d+e x)}{e}-\frac{n \log \left (-\frac{e \left (b+\sqrt{b^2-4 a c}+2 c x\right )}{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right ) \log (d+e x)}{e}+\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e}+n \int \frac{\log \left (\frac{e \left (b-\sqrt{b^2-4 a c}+2 c x\right )}{-2 c d+\left (b-\sqrt{b^2-4 a c}\right ) e}\right )}{d+e x} \, dx+n \int \frac{\log \left (\frac{e \left (b+\sqrt{b^2-4 a c}+2 c x\right )}{-2 c d+\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{d+e x} \, dx\\ &=-\frac{n \log \left (-\frac{e \left (b-\sqrt{b^2-4 a c}+2 c x\right )}{2 c d-\left (b-\sqrt{b^2-4 a c}\right ) e}\right ) \log (d+e x)}{e}-\frac{n \log \left (-\frac{e \left (b+\sqrt{b^2-4 a c}+2 c x\right )}{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right ) \log (d+e x)}{e}+\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e}+\frac{n \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{2 c x}{-2 c d+\left (b-\sqrt{b^2-4 a c}\right ) e}\right )}{x} \, dx,x,d+e x\right )}{e}+\frac{n \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{2 c x}{-2 c d+\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{x} \, dx,x,d+e x\right )}{e}\\ &=-\frac{n \log \left (-\frac{e \left (b-\sqrt{b^2-4 a c}+2 c x\right )}{2 c d-\left (b-\sqrt{b^2-4 a c}\right ) e}\right ) \log (d+e x)}{e}-\frac{n \log \left (-\frac{e \left (b+\sqrt{b^2-4 a c}+2 c x\right )}{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right ) \log (d+e x)}{e}+\frac{\log (d+e x) \log \left (d \left (a+b x+c x^2\right )^n\right )}{e}-\frac{n \text{Li}_2\left (\frac{2 c (d+e x)}{2 c d-\left (b-\sqrt{b^2-4 a c}\right ) e}\right )}{e}-\frac{n \text{Li}_2\left (\frac{2 c (d+e x)}{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{e}\\ \end{align*}
Mathematica [A] time = 0.292592, size = 226, normalized size = 0.99 \[ -\frac{n \text{PolyLog}\left (2,\frac{2 c (d+e x)}{e \sqrt{b^2-4 a c}-b e+2 c d}\right )}{e}-\frac{n \text{PolyLog}\left (2,\frac{2 c (d+e x)}{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}\right )}{e}-\frac{n \log (d+e x) \log \left (-\frac{e \left (-\sqrt{b^2-4 a c}+b+2 c x\right )}{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}\right )}{e}-\frac{n \log (d+e x) \log \left (-\frac{e \left (\sqrt{b^2-4 a c}+b+2 c x\right )}{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}\right )}{e}+\frac{\log (d+e x) \log \left (d (a+x (b+c x))^n\right )}{e} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.089, size = 493, normalized size = 2.2 \begin{align*}{\frac{\ln \left ( ex+d \right ) \ln \left ( \left ( c{x}^{2}+bx+a \right ) ^{n} \right ) }{e}}-{\frac{n\ln \left ( ex+d \right ) }{e}\ln \left ({ \left ( -2\, \left ( ex+d \right ) c-be+2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) \left ( -be+2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) ^{-1}} \right ) }-{\frac{n\ln \left ( ex+d \right ) }{e}\ln \left ({ \left ( 2\, \left ( ex+d \right ) c+be-2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) \left ( be-2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) ^{-1}} \right ) }-{\frac{n}{e}{\it dilog} \left ({ \left ( -2\, \left ( ex+d \right ) c-be+2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) \left ( -be+2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) ^{-1}} \right ) }-{\frac{n}{e}{\it dilog} \left ({ \left ( 2\, \left ( ex+d \right ) c+be-2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) \left ( be-2\,cd+\sqrt{-4\,c{e}^{2}a+{b}^{2}{e}^{2}} \right ) ^{-1}} \right ) }-{\frac{{\frac{i}{2}}\ln \left ( ex+d \right ) \pi \,{\it csgn} \left ( id \right ){\it csgn} \left ( i \left ( c{x}^{2}+bx+a \right ) ^{n} \right ){\it csgn} \left ( id \left ( c{x}^{2}+bx+a \right ) ^{n} \right ) }{e}}+{\frac{{\frac{i}{2}}\ln \left ( ex+d \right ) \pi \,{\it csgn} \left ( id \right ) \left ({\it csgn} \left ( id \left ( c{x}^{2}+bx+a \right ) ^{n} \right ) \right ) ^{2}}{e}}+{\frac{{\frac{i}{2}}\ln \left ( ex+d \right ) \pi \,{\it csgn} \left ( i \left ( c{x}^{2}+bx+a \right ) ^{n} \right ) \left ({\it csgn} \left ( id \left ( c{x}^{2}+bx+a \right ) ^{n} \right ) \right ) ^{2}}{e}}-{\frac{{\frac{i}{2}}\ln \left ( ex+d \right ) \pi \, \left ({\it csgn} \left ( id \left ( c{x}^{2}+bx+a \right ) ^{n} \right ) \right ) ^{3}}{e}}+{\frac{\ln \left ( ex+d \right ) \ln \left ( d \right ) }{e}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left ({\left (c x^{2} + b x + a\right )}^{n} d\right )}{e x + d}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\log \left ({\left (c x^{2} + b x + a\right )}^{n} d\right )}{e x + d}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left ({\left (c x^{2} + b x + a\right )}^{n} d\right )}{e x + d}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]