3.44.30 \(\int \frac {54-6 x^2+(72 x+8 x^2+8 x^3) \log (\frac {9+x+x^2}{x}) \log ^2(\log (\frac {9+x+x^2}{x}))}{((27 x+3 x^2+3 x^3) \log (\frac {9+x+x^2}{x}) \log (\log (\frac {9+x+x^2}{x}))+(-45 x+31 x^2-x^3+4 x^4) \log (\frac {9+x+x^2}{x}) \log ^2(\log (\frac {9+x+x^2}{x}))) \log (\frac {3+(-5+4 x) \log (\log (\frac {9+x+x^2}{x}))}{\log (\log (\frac {9+x+x^2}{x}))})} \, dx\)

Optimal. Leaf size=23 \[ \log \left (\log ^2\left (-5+4 x+\frac {3}{\log \left (\log \left (1+\frac {9}{x}+x\right )\right )}\right )\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.79, antiderivative size = 23, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 172, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.012, Rules used = {6688, 6684} \begin {gather*} 2 \log \left (\log \left (4 x+\frac {3}{\log \left (\log \left (x+\frac {9}{x}+1\right )\right )}-5\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(54 - 6*x^2 + (72*x + 8*x^2 + 8*x^3)*Log[(9 + x + x^2)/x]*Log[Log[(9 + x + x^2)/x]]^2)/(((27*x + 3*x^2 + 3
*x^3)*Log[(9 + x + x^2)/x]*Log[Log[(9 + x + x^2)/x]] + (-45*x + 31*x^2 - x^3 + 4*x^4)*Log[(9 + x + x^2)/x]*Log
[Log[(9 + x + x^2)/x]]^2)*Log[(3 + (-5 + 4*x)*Log[Log[(9 + x + x^2)/x]])/Log[Log[(9 + x + x^2)/x]]]),x]

[Out]

2*Log[Log[-5 + 4*x + 3/Log[Log[1 + 9/x + x]]]]

Rule 6684

Int[(u_)/(y_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*Log[RemoveContent[y, x]], x] /;  !Fa
lseQ[q]]

Rule 6688

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-6 \left (-9+x^2\right )+8 x \left (9+x+x^2\right ) \log \left (1+\frac {9}{x}+x\right ) \log ^2\left (\log \left (1+\frac {9}{x}+x\right )\right )}{x \left (9+x+x^2\right ) \log \left (1+\frac {9}{x}+x\right ) \log \left (\log \left (1+\frac {9}{x}+x\right )\right ) \left (3+(-5+4 x) \log \left (\log \left (1+\frac {9}{x}+x\right )\right )\right ) \log \left (-5+4 x+\frac {3}{\log \left (\log \left (1+\frac {9}{x}+x\right )\right )}\right )} \, dx\\ &=2 \log \left (\log \left (-5+4 x+\frac {3}{\log \left (\log \left (1+\frac {9}{x}+x\right )\right )}\right )\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.10, size = 23, normalized size = 1.00 \begin {gather*} 2 \log \left (\log \left (-5+4 x+\frac {3}{\log \left (\log \left (1+\frac {9}{x}+x\right )\right )}\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(54 - 6*x^2 + (72*x + 8*x^2 + 8*x^3)*Log[(9 + x + x^2)/x]*Log[Log[(9 + x + x^2)/x]]^2)/(((27*x + 3*x
^2 + 3*x^3)*Log[(9 + x + x^2)/x]*Log[Log[(9 + x + x^2)/x]] + (-45*x + 31*x^2 - x^3 + 4*x^4)*Log[(9 + x + x^2)/
x]*Log[Log[(9 + x + x^2)/x]]^2)*Log[(3 + (-5 + 4*x)*Log[Log[(9 + x + x^2)/x]])/Log[Log[(9 + x + x^2)/x]]]),x]

[Out]

2*Log[Log[-5 + 4*x + 3/Log[Log[1 + 9/x + x]]]]

________________________________________________________________________________________

fricas [A]  time = 0.68, size = 39, normalized size = 1.70 \begin {gather*} 2 \, \log \left (\log \left (\frac {{\left (4 \, x - 5\right )} \log \left (\log \left (\frac {x^{2} + x + 9}{x}\right )\right ) + 3}{\log \left (\log \left (\frac {x^{2} + x + 9}{x}\right )\right )}\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x^3+8*x^2+72*x)*log((x^2+x+9)/x)*log(log((x^2+x+9)/x))^2-6*x^2+54)/((4*x^4-x^3+31*x^2-45*x)*log(
(x^2+x+9)/x)*log(log((x^2+x+9)/x))^2+(3*x^3+3*x^2+27*x)*log((x^2+x+9)/x)*log(log((x^2+x+9)/x)))/log(((4*x-5)*l
og(log((x^2+x+9)/x))+3)/log(log((x^2+x+9)/x))),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {2 \, {\left (4 \, {\left (x^{3} + x^{2} + 9 \, x\right )} \log \left (\frac {x^{2} + x + 9}{x}\right ) \log \left (\log \left (\frac {x^{2} + x + 9}{x}\right )\right )^{2} - 3 \, x^{2} + 27\right )}}{{\left ({\left (4 \, x^{4} - x^{3} + 31 \, x^{2} - 45 \, x\right )} \log \left (\frac {x^{2} + x + 9}{x}\right ) \log \left (\log \left (\frac {x^{2} + x + 9}{x}\right )\right )^{2} + 3 \, {\left (x^{3} + x^{2} + 9 \, x\right )} \log \left (\frac {x^{2} + x + 9}{x}\right ) \log \left (\log \left (\frac {x^{2} + x + 9}{x}\right )\right )\right )} \log \left (\frac {{\left (4 \, x - 5\right )} \log \left (\log \left (\frac {x^{2} + x + 9}{x}\right )\right ) + 3}{\log \left (\log \left (\frac {x^{2} + x + 9}{x}\right )\right )}\right )}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x^3+8*x^2+72*x)*log((x^2+x+9)/x)*log(log((x^2+x+9)/x))^2-6*x^2+54)/((4*x^4-x^3+31*x^2-45*x)*log(
(x^2+x+9)/x)*log(log((x^2+x+9)/x))^2+(3*x^3+3*x^2+27*x)*log((x^2+x+9)/x)*log(log((x^2+x+9)/x)))/log(((4*x-5)*l
og(log((x^2+x+9)/x))+3)/log(log((x^2+x+9)/x))),x, algorithm="giac")

[Out]

integrate(2*(4*(x^3 + x^2 + 9*x)*log((x^2 + x + 9)/x)*log(log((x^2 + x + 9)/x))^2 - 3*x^2 + 27)/(((4*x^4 - x^3
+ 31*x^2 - 45*x)*log((x^2 + x + 9)/x)*log(log((x^2 + x + 9)/x))^2 + 3*(x^3 + x^2 + 9*x)*log((x^2 + x + 9)/x)*
log(log((x^2 + x + 9)/x)))*log(((4*x - 5)*log(log((x^2 + x + 9)/x)) + 3)/log(log((x^2 + x + 9)/x)))), x)

________________________________________________________________________________________

maple [F]  time = 0.04, size = 0, normalized size = 0.00 \[\int \frac {\left (8 x^{3}+8 x^{2}+72 x \right ) \ln \left (\frac {x^{2}+x +9}{x}\right ) \ln \left (\ln \left (\frac {x^{2}+x +9}{x}\right )\right )^{2}-6 x^{2}+54}{\left (\left (4 x^{4}-x^{3}+31 x^{2}-45 x \right ) \ln \left (\frac {x^{2}+x +9}{x}\right ) \ln \left (\ln \left (\frac {x^{2}+x +9}{x}\right )\right )^{2}+\left (3 x^{3}+3 x^{2}+27 x \right ) \ln \left (\frac {x^{2}+x +9}{x}\right ) \ln \left (\ln \left (\frac {x^{2}+x +9}{x}\right )\right )\right ) \ln \left (\frac {\left (4 x -5\right ) \ln \left (\ln \left (\frac {x^{2}+x +9}{x}\right )\right )+3}{\ln \left (\ln \left (\frac {x^{2}+x +9}{x}\right )\right )}\right )}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((8*x^3+8*x^2+72*x)*ln((x^2+x+9)/x)*ln(ln((x^2+x+9)/x))^2-6*x^2+54)/((4*x^4-x^3+31*x^2-45*x)*ln((x^2+x+9)/
x)*ln(ln((x^2+x+9)/x))^2+(3*x^3+3*x^2+27*x)*ln((x^2+x+9)/x)*ln(ln((x^2+x+9)/x)))/ln(((4*x-5)*ln(ln((x^2+x+9)/x
))+3)/ln(ln((x^2+x+9)/x))),x)

[Out]

int(((8*x^3+8*x^2+72*x)*ln((x^2+x+9)/x)*ln(ln((x^2+x+9)/x))^2-6*x^2+54)/((4*x^4-x^3+31*x^2-45*x)*ln((x^2+x+9)/
x)*ln(ln((x^2+x+9)/x))^2+(3*x^3+3*x^2+27*x)*ln((x^2+x+9)/x)*ln(ln((x^2+x+9)/x)))/ln(((4*x-5)*ln(ln((x^2+x+9)/x
))+3)/ln(ln((x^2+x+9)/x))),x)

________________________________________________________________________________________

maxima [B]  time = 0.48, size = 54, normalized size = 2.35 \begin {gather*} 2 \, \log \left (\log \left (4 \, x \log \left (\log \left (x^{2} + x + 9\right ) - \log \relax (x)\right ) - 5 \, \log \left (\log \left (x^{2} + x + 9\right ) - \log \relax (x)\right ) + 3\right ) - \log \left (\log \left (\log \left (x^{2} + x + 9\right ) - \log \relax (x)\right )\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x^3+8*x^2+72*x)*log((x^2+x+9)/x)*log(log((x^2+x+9)/x))^2-6*x^2+54)/((4*x^4-x^3+31*x^2-45*x)*log(
(x^2+x+9)/x)*log(log((x^2+x+9)/x))^2+(3*x^3+3*x^2+27*x)*log((x^2+x+9)/x)*log(log((x^2+x+9)/x)))/log(((4*x-5)*l
og(log((x^2+x+9)/x))+3)/log(log((x^2+x+9)/x))),x, algorithm="maxima")

[Out]

2*log(log(4*x*log(log(x^2 + x + 9) - log(x)) - 5*log(log(x^2 + x + 9) - log(x)) + 3) - log(log(log(x^2 + x + 9
) - log(x))))

________________________________________________________________________________________

mupad [B]  time = 8.79, size = 39, normalized size = 1.70 \begin {gather*} 2\,\ln \left (\ln \left (\frac {\ln \left (\ln \left (\frac {x^2+x+9}{x}\right )\right )\,\left (4\,x-5\right )+3}{\ln \left (\ln \left (\frac {x^2+x+9}{x}\right )\right )}\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log((x + x^2 + 9)/x)*log(log((x + x^2 + 9)/x))^2*(72*x + 8*x^2 + 8*x^3) - 6*x^2 + 54)/(log((log(log((x +
x^2 + 9)/x))*(4*x - 5) + 3)/log(log((x + x^2 + 9)/x)))*(log((x + x^2 + 9)/x)*log(log((x + x^2 + 9)/x))*(27*x +
3*x^2 + 3*x^3) - log((x + x^2 + 9)/x)*log(log((x + x^2 + 9)/x))^2*(45*x - 31*x^2 + x^3 - 4*x^4))),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 15.35, size = 34, normalized size = 1.48 \begin {gather*} 2 \log {\left (\log {\left (\frac {\left (4 x - 5\right ) \log {\left (\log {\left (\frac {x^{2} + x + 9}{x} \right )} \right )} + 3}{\log {\left (\log {\left (\frac {x^{2} + x + 9}{x} \right )} \right )}} \right )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x**3+8*x**2+72*x)*ln((x**2+x+9)/x)*ln(ln((x**2+x+9)/x))**2-6*x**2+54)/((4*x**4-x**3+31*x**2-45*x
)*ln((x**2+x+9)/x)*ln(ln((x**2+x+9)/x))**2+(3*x**3+3*x**2+27*x)*ln((x**2+x+9)/x)*ln(ln((x**2+x+9)/x)))/ln(((4*
x-5)*ln(ln((x**2+x+9)/x))+3)/ln(ln((x**2+x+9)/x))),x)

[Out]

2*log(log(((4*x - 5)*log(log((x**2 + x + 9)/x)) + 3)/log(log((x**2 + x + 9)/x))))

________________________________________________________________________________________