\(\int \frac {-4 x^2-6 x^3-2 x^4+(10 x+16 x^2+6 x^3) \log (8)+(-6-10 x-4 x^2) \log ^2(8)}{x^7} \, dx\) [376]

Optimal result

Integrand size = 52, antiderivative size = 19 \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=\frac {\left (1+\frac {1}{x}\right )^2 (x-\log (8))^2}{x^4} \]

[Out]

1/x^4*(1+1/x)^2*(x-3*ln(2))^2

Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(50\) vs. \(2(19)=38\).

Time = 0.04 (sec) , antiderivative size = 50, normalized size of antiderivative = 2.63, number of steps used = 2, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.019, Rules used = {14} \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=\frac {\log ^2(8)}{x^6}-\frac {2 (1-\log (8)) \log (8)}{x^5}+\frac {1+\log ^2(8)-4 \log (8)}{x^4}+\frac {2 (1-\log (8))}{x^3}+\frac {1}{x^2} \]

[In]

Int[(-4*x^2 - 6*x^3 - 2*x^4 + (10*x + 16*x^2 + 6*x^3)*Log[8] + (-6 - 10*x - 4*x^2)*Log[8]^2)/x^7,x]

[Out]

x^(-2) + (2*(1 - Log[8]))/x^3 - (2*(1 - Log[8])*Log[8])/x^5 + Log[8]^2/x^6 + (1 - 4*Log[8] + Log[8]^2)/x^4

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rubi steps \begin{align*} \text {integral}& = \int \left (-\frac {2}{x^3}+\frac {6 (-1+\log (8))}{x^4}-\frac {10 (-1+\log (8)) \log (8)}{x^6}-\frac {6 \log ^2(8)}{x^7}-\frac {4 \left (1-4 \log (8)+\log ^2(8)\right )}{x^5}\right ) \, dx \\ & = \frac {1}{x^2}+\frac {2 (1-\log (8))}{x^3}-\frac {2 (1-\log (8)) \log (8)}{x^5}+\frac {\log ^2(8)}{x^6}+\frac {1-4 \log (8)+\log ^2(8)}{x^4} \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(51\) vs. \(2(19)=38\).

Time = 0.03 (sec) , antiderivative size = 51, normalized size of antiderivative = 2.68 \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=\frac {10 x^4-20 x^3 (-1+\log (8))+10 \log ^2(8)+5 x^2 (2+\log (8) (-8+\log (64)))+4 x \log (8) (-5+\log (32768))}{10 x^6} \]

[In]

Integrate[(-4*x^2 - 6*x^3 - 2*x^4 + (10*x + 16*x^2 + 6*x^3)*Log[8] + (-6 - 10*x - 4*x^2)*Log[8]^2)/x^7,x]

[Out]

(10*x^4 - 20*x^3*(-1 + Log[8]) + 10*Log[8]^2 + 5*x^2*(2 + Log[8]*(-8 + Log[64])) + 4*x*Log[8]*(-5 + Log[32768]
))/(10*x^6)

Maple [A] (verified)

Time = 0.04 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.32

method	result	size
gosper	\(\frac {\left (3 x \ln \left (2\right )-x^{2}+3 \ln \left (2\right )-x \right )^{2}}{x^{6}}\)	\(25\)
norman	\(\frac {x^{4}+\left (18 \ln \left (2\right )^{2}-6 \ln \left (2\right )\right ) x +\left (-6 \ln \left (2\right )+2\right ) x^{3}+\left (1+9 \ln \left (2\right )^{2}-12 \ln \left (2\right )\right ) x^{2}+9 \ln \left (2\right )^{2}}{x^{6}}\)	\(54\)
risch	\(\frac {x^{4}+\left (18 \ln \left (2\right )^{2}-6 \ln \left (2\right )\right ) x +\left (-6 \ln \left (2\right )+2\right ) x^{3}+\left (1+9 \ln \left (2\right )^{2}-12 \ln \left (2\right )\right ) x^{2}+9 \ln \left (2\right )^{2}}{x^{6}}\)	\(54\)
default	\(-\frac {-18 \ln \left (2\right )^{2}+24 \ln \left (2\right )-2}{2 x^{4}}+\frac {6 \ln \left (2\right ) \left (3 \ln \left (2\right )-1\right )}{x^{5}}+\frac {9 \ln \left (2\right )^{2}}{x^{6}}+\frac {1}{x^{2}}-\frac {2 \left (9 \ln \left (2\right )-3\right )}{3 x^{3}}\)	\(55\)
parallelrisch	\(\frac {9 x^{2} \ln \left (2\right )^{2}-6 x^{3} \ln \left (2\right )+x^{4}+18 x \ln \left (2\right )^{2}-12 x^{2} \ln \left (2\right )+2 x^{3}+9 \ln \left (2\right )^{2}-6 x \ln \left (2\right )+x^{2}}{x^{6}}\)	\(58\)

[In]

int((9*(-4*x^2-10*x-6)*ln(2)^2+3*(6*x^3+16*x^2+10*x)*ln(2)-2*x^4-6*x^3-4*x^2)/x^7,x,method=_RETURNVERBOSE)

[Out]

(3*x*ln(2)-x^2+3*ln(2)-x)^2/x^6

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 44 vs. \(2 (19) = 38\).

Time = 0.25 (sec) , antiderivative size = 44, normalized size of antiderivative = 2.32 \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=\frac {x^{4} + 2 \, x^{3} + 9 \, {\left (x^{2} + 2 \, x + 1\right )} \log \left (2\right )^{2} + x^{2} - 6 \, {\left (x^{3} + 2 \, x^{2} + x\right )} \log \left (2\right )}{x^{6}} \]

[In]

integrate((9*(-4*x^2-10*x-6)*log(2)^2+3*(6*x^3+16*x^2+10*x)*log(2)-2*x^4-6*x^3-4*x^2)/x^7,x, algorithm="fricas
")

[Out]

(x^4 + 2*x^3 + 9*(x^2 + 2*x + 1)*log(2)^2 + x^2 - 6*(x^3 + 2*x^2 + x)*log(2))/x^6

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 54 vs. \(2 (17) = 34\).

Time = 0.88 (sec) , antiderivative size = 54, normalized size of antiderivative = 2.84 \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=- \frac {- x^{4} + x^{3} \left (-2 + 6 \log {\left (2 \right )}\right ) + x^{2} \left (- 9 \log {\left (2 \right )}^{2} - 1 + 12 \log {\left (2 \right )}\right ) + x \left (- 18 \log {\left (2 \right )}^{2} + 6 \log {\left (2 \right )}\right ) - 9 \log {\left (2 \right )}^{2}}{x^{6}} \]

[In]

integrate((9*(-4*x**2-10*x-6)*ln(2)**2+3*(6*x**3+16*x**2+10*x)*ln(2)-2*x**4-6*x**3-4*x**2)/x**7,x)

[Out]

-(-x**4 + x**3*(-2 + 6*log(2)) + x**2*(-9*log(2)**2 - 1 + 12*log(2)) + x*(-18*log(2)**2 + 6*log(2)) - 9*log(2)
**2)/x**6

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 55 vs. \(2 (19) = 38\).

Time = 0.18 (sec) , antiderivative size = 55, normalized size of antiderivative = 2.89 \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=\frac {x^{4} - 2 \, x^{3} {\left (3 \, \log \left (2\right ) - 1\right )} + {\left (9 \, \log \left (2\right )^{2} - 12 \, \log \left (2\right ) + 1\right )} x^{2} + 6 \, {\left (3 \, \log \left (2\right )^{2} - \log \left (2\right )\right )} x + 9 \, \log \left (2\right )^{2}}{x^{6}} \]

[In]

integrate((9*(-4*x^2-10*x-6)*log(2)^2+3*(6*x^3+16*x^2+10*x)*log(2)-2*x^4-6*x^3-4*x^2)/x^7,x, algorithm="maxima
")

[Out]

(x^4 - 2*x^3*(3*log(2) - 1) + (9*log(2)^2 - 12*log(2) + 1)*x^2 + 6*(3*log(2)^2 - log(2))*x + 9*log(2)^2)/x^6

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 57 vs. \(2 (19) = 38\).

Time = 0.28 (sec) , antiderivative size = 57, normalized size of antiderivative = 3.00 \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=\frac {x^{4} - 6 \, x^{3} \log \left (2\right ) + 9 \, x^{2} \log \left (2\right )^{2} + 2 \, x^{3} - 12 \, x^{2} \log \left (2\right ) + 18 \, x \log \left (2\right )^{2} + x^{2} - 6 \, x \log \left (2\right ) + 9 \, \log \left (2\right )^{2}}{x^{6}} \]

[In]

integrate((9*(-4*x^2-10*x-6)*log(2)^2+3*(6*x^3+16*x^2+10*x)*log(2)-2*x^4-6*x^3-4*x^2)/x^7,x, algorithm="giac")

[Out]

(x^4 - 6*x^3*log(2) + 9*x^2*log(2)^2 + 2*x^3 - 12*x^2*log(2) + 18*x*log(2)^2 + x^2 - 6*x*log(2) + 9*log(2)^2)/
x^6

Mupad [B] (verification not implemented)

Time = 0.09 (sec) , antiderivative size = 51, normalized size of antiderivative = 2.68 \[ \int \frac {-4 x^2-6 x^3-2 x^4+\left (10 x+16 x^2+6 x^3\right ) \log (8)+\left (-6-10 x-4 x^2\right ) \log ^2(8)}{x^7} \, dx=\frac {x^4+\left (2-\ln \left (64\right )\right )\,x^3+\left (9\,{\ln \left (2\right )}^2-\ln \left (4096\right )+1\right )\,x^2+\left (18\,{\ln \left (2\right )}^2-\ln \left (64\right )\right )\,x+9\,{\ln \left (2\right )}^2}{x^6} \]

[In]

int(-(9*log(2)^2*(10*x + 4*x^2 + 6) - 3*log(2)*(10*x + 16*x^2 + 6*x^3) + 4*x^2 + 6*x^3 + 2*x^4)/x^7,x)

[Out]

(x^2*(9*log(2)^2 - log(4096) + 1) - x^3*(log(64) - 2) + 9*log(2)^2 - x*(log(64) - 18*log(2)^2) + x^4)/x^6