Optimal. Leaf size=55 \[ -\frac {1}{3} b p x^3 \left (d x^n\right )^{-3/n} \text {Ei}\left (\frac {3 \log \left (d x^n\right )}{n}\right )+\frac {1}{3} x^3 \left (a+b \log \left (c \log ^p\left (d x^n\right )\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 55, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 3, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.158, Rules used = {2602, 2347,
2209} \begin {gather*} \frac {1}{3} x^3 \left (a+b \log \left (c \log ^p\left (d x^n\right )\right )\right )-\frac {1}{3} b p x^3 \left (d x^n\right )^{-3/n} \text {Ei}\left (\frac {3 \log \left (d x^n\right )}{n}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2209
Rule 2347
Rule 2602
Rubi steps
\begin {align*} \int x^2 \left (a+b \log \left (c \log ^p\left (d x^n\right )\right )\right ) \, dx &=\frac {1}{3} x^3 \left (a+b \log \left (c \log ^p\left (d x^n\right )\right )\right )-\frac {1}{3} (b n p) \int \frac {x^2}{\log \left (d x^n\right )} \, dx\\ &=\frac {1}{3} x^3 \left (a+b \log \left (c \log ^p\left (d x^n\right )\right )\right )-\frac {1}{3} \left (b p x^3 \left (d x^n\right )^{-3/n}\right ) \text {Subst}\left (\int \frac {e^{\frac {3 x}{n}}}{x} \, dx,x,\log \left (d x^n\right )\right )\\ &=-\frac {1}{3} b p x^3 \left (d x^n\right )^{-3/n} \text {Ei}\left (\frac {3 \log \left (d x^n\right )}{n}\right )+\frac {1}{3} x^3 \left (a+b \log \left (c \log ^p\left (d x^n\right )\right )\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 49, normalized size = 0.89 \begin {gather*} \frac {1}{3} x^3 \left (a-b p \left (d x^n\right )^{-3/n} \text {Ei}\left (\frac {3 \log \left (d x^n\right )}{n}\right )+b \log \left (c \log ^p\left (d x^n\right )\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.01, size = 0, normalized size = 0.00 \[\int x^{2} \left (a +b \ln \left (c \ln \left (d \,x^{n}\right )^{p}\right )\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.46, size = 70, normalized size = 1.27 \begin {gather*} \frac {b d^{\frac {3}{n}} p x^{3} \log \left (n \log \left (x\right ) + \log \left (d\right )\right ) - b p \operatorname {log\_integral}\left (d^{\frac {3}{n}} x^{3}\right ) + {\left (b x^{3} \log \left (c\right ) + a x^{3}\right )} d^{\frac {3}{n}}}{3 \, d^{\frac {3}{n}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int x^{2} \left (a + b \log {\left (c \log {\left (d x^{n} \right )}^{p} \right )}\right )\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 3.91, size = 56, normalized size = 1.02 \begin {gather*} \frac {1}{3} \, b p x^{3} \log \left (n \log \left (x\right ) + \log \left (d\right )\right ) + \frac {1}{3} \, b x^{3} \log \left (c\right ) + \frac {1}{3} \, a x^{3} - \frac {b p {\rm Ei}\left (\frac {3 \, \log \left (d\right )}{n} + 3 \, \log \left (x\right )\right )}{3 \, d^{\frac {3}{n}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.02 \begin {gather*} \int x^2\,\left (a+b\,\ln \left (c\,{\ln \left (d\,x^n\right )}^p\right )\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________