3.102.60 \(\int \frac {5+15 x-10 x^2-30 x^3+(20+5 x^2+5 \log (\frac {\log ^4(4)}{x})) \log (4+x^2+\log (\frac {\log ^4(4)}{x}))+(8+48 x+74 x^2+12 x^3+18 x^4+(2+12 x+18 x^2) \log (\frac {\log ^4(4)}{x})) \log ^2(4+x^2+\log (\frac {\log ^4(4)}{x}))}{(8+48 x+74 x^2+12 x^3+18 x^4+(2+12 x+18 x^2) \log (\frac {\log ^4(4)}{x})) \log ^2(4+x^2+\log (\frac {\log ^4(4)}{x}))} \, dx\)

Optimal. Leaf size=32 \[ x+\frac {x}{\left (x+\frac {2+x}{5}\right ) \log \left (4+x^2+\log \left (\frac {\log ^4(4)}{x}\right )\right )} \]

________________________________________________________________________________________

Rubi [F]  time = 1.08, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {5+15 x-10 x^2-30 x^3+\left (20+5 x^2+5 \log \left (\frac {\log ^4(4)}{x}\right )\right ) \log \left (4+x^2+\log \left (\frac {\log ^4(4)}{x}\right )\right )+\left (8+48 x+74 x^2+12 x^3+18 x^4+\left (2+12 x+18 x^2\right ) \log \left (\frac {\log ^4(4)}{x}\right )\right ) \log ^2\left (4+x^2+\log \left (\frac {\log ^4(4)}{x}\right )\right )}{\left (8+48 x+74 x^2+12 x^3+18 x^4+\left (2+12 x+18 x^2\right ) \log \left (\frac {\log ^4(4)}{x}\right )\right ) \log ^2\left (4+x^2+\log \left (\frac {\log ^4(4)}{x}\right )\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(5 + 15*x - 10*x^2 - 30*x^3 + (20 + 5*x^2 + 5*Log[Log[4]^4/x])*Log[4 + x^2 + Log[Log[4]^4/x]] + (8 + 48*x
+ 74*x^2 + 12*x^3 + 18*x^4 + (2 + 12*x + 18*x^2)*Log[Log[4]^4/x])*Log[4 + x^2 + Log[Log[4]^4/x]]^2)/((8 + 48*x
+ 74*x^2 + 12*x^3 + 18*x^4 + (2 + 12*x + 18*x^2)*Log[Log[4]^4/x])*Log[4 + x^2 + Log[Log[4]^4/x]]^2),x]

[Out]

x - (5*Defer[Int][1/((-x^2 - Log[x^(-1)] - 4*(1 + Log[Log[4]]))*Log[x^2 + Log[x^(-1)] + 4*(1 + Log[Log[4]])]^2
), x])/9 - (35*Defer[Int][1/((-1 - 3*x)*(x^2 + Log[x^(-1)] + 4*(1 + Log[Log[4]]))*Log[x^2 + Log[x^(-1)] + 4*(1
+ Log[Log[4]])]^2), x])/18 - (5*Defer[Int][x/((x^2 + Log[x^(-1)] + 4*(1 + Log[Log[4]]))*Log[x^2 + Log[x^(-1)]
+ 4*(1 + Log[Log[4]])]^2), x])/3 + (5*Defer[Int][1/((1 + 3*x)^2*Log[x^2 + Log[x^(-1)] + 4*(1 + Log[Log[4]])])
, x])/2

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.64, size = 31, normalized size = 0.97 \begin {gather*} x+\frac {5 x}{2 (1+3 x) \log \left (4+x^2+\log \left (\frac {1}{x}\right )+4 \log (\log (4))\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(5 + 15*x - 10*x^2 - 30*x^3 + (20 + 5*x^2 + 5*Log[Log[4]^4/x])*Log[4 + x^2 + Log[Log[4]^4/x]] + (8 +
48*x + 74*x^2 + 12*x^3 + 18*x^4 + (2 + 12*x + 18*x^2)*Log[Log[4]^4/x])*Log[4 + x^2 + Log[Log[4]^4/x]]^2)/((8
+ 48*x + 74*x^2 + 12*x^3 + 18*x^4 + (2 + 12*x + 18*x^2)*Log[Log[4]^4/x])*Log[4 + x^2 + Log[Log[4]^4/x]]^2),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 1.06, size = 56, normalized size = 1.75 \begin {gather*} \frac {2 \, {\left (3 \, x^{2} + x\right )} \log \left (x^{2} + \log \left (\frac {16 \, \log \relax (2)^{4}}{x}\right ) + 4\right ) + 5 \, x}{2 \, {\left (3 \, x + 1\right )} \log \left (x^{2} + \log \left (\frac {16 \, \log \relax (2)^{4}}{x}\right ) + 4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((18*x^2+12*x+2)*log(16*log(2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)*log(log(16*log(2)^4/x)+x^2+4)^2+(5
*log(16*log(2)^4/x)+5*x^2+20)*log(log(16*log(2)^4/x)+x^2+4)-30*x^3-10*x^2+15*x+5)/((18*x^2+12*x+2)*log(16*log(
2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)/log(log(16*log(2)^4/x)+x^2+4)^2,x, algorithm="fricas")

[Out]

1/2*(2*(3*x^2 + x)*log(x^2 + log(16*log(2)^4/x) + 4) + 5*x)/((3*x + 1)*log(x^2 + log(16*log(2)^4/x) + 4))

________________________________________________________________________________________

giac [A]  time = 0.60, size = 49, normalized size = 1.53 \begin {gather*} x + \frac {5 \, x}{2 \, {\left (3 \, x \log \left (x^{2} + 4 \, \log \relax (2) - \log \relax (x) + 4 \, \log \left (\log \relax (2)\right ) + 4\right ) + \log \left (x^{2} + 4 \, \log \relax (2) - \log \relax (x) + 4 \, \log \left (\log \relax (2)\right ) + 4\right )\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((18*x^2+12*x+2)*log(16*log(2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)*log(log(16*log(2)^4/x)+x^2+4)^2+(5
*log(16*log(2)^4/x)+5*x^2+20)*log(log(16*log(2)^4/x)+x^2+4)-30*x^3-10*x^2+15*x+5)/((18*x^2+12*x+2)*log(16*log(
2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)/log(log(16*log(2)^4/x)+x^2+4)^2,x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [F]  time = 0.10, size = 0, normalized size = 0.00 \[\int \frac {\left (\left (18 x^{2}+12 x +2\right ) \ln \left (\frac {16 \ln \relax (2)^{4}}{x}\right )+18 x^{4}+12 x^{3}+74 x^{2}+48 x +8\right ) \ln \left (\ln \left (\frac {16 \ln \relax (2)^{4}}{x}\right )+x^{2}+4\right )^{2}+\left (5 \ln \left (\frac {16 \ln \relax (2)^{4}}{x}\right )+5 x^{2}+20\right ) \ln \left (\ln \left (\frac {16 \ln \relax (2)^{4}}{x}\right )+x^{2}+4\right )-30 x^{3}-10 x^{2}+15 x +5}{\left (\left (18 x^{2}+12 x +2\right ) \ln \left (\frac {16 \ln \relax (2)^{4}}{x}\right )+18 x^{4}+12 x^{3}+74 x^{2}+48 x +8\right ) \ln \left (\ln \left (\frac {16 \ln \relax (2)^{4}}{x}\right )+x^{2}+4\right )^{2}}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((18*x^2+12*x+2)*ln(16*ln(2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)*ln(ln(16*ln(2)^4/x)+x^2+4)^2+(5*ln(16*ln(2
)^4/x)+5*x^2+20)*ln(ln(16*ln(2)^4/x)+x^2+4)-30*x^3-10*x^2+15*x+5)/((18*x^2+12*x+2)*ln(16*ln(2)^4/x)+18*x^4+12*
x^3+74*x^2+48*x+8)/ln(ln(16*ln(2)^4/x)+x^2+4)^2,x)

[Out]

int((((18*x^2+12*x+2)*ln(16*ln(2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)*ln(ln(16*ln(2)^4/x)+x^2+4)^2+(5*ln(16*ln(2
)^4/x)+5*x^2+20)*ln(ln(16*ln(2)^4/x)+x^2+4)-30*x^3-10*x^2+15*x+5)/((18*x^2+12*x+2)*ln(16*ln(2)^4/x)+18*x^4+12*
x^3+74*x^2+48*x+8)/ln(ln(16*ln(2)^4/x)+x^2+4)^2,x)

________________________________________________________________________________________

maxima [B]  time = 0.49, size = 62, normalized size = 1.94 \begin {gather*} \frac {2 \, {\left (3 \, x^{2} + x\right )} \log \left (x^{2} + 4 \, \log \relax (2) - \log \relax (x) + 4 \, \log \left (\log \relax (2)\right ) + 4\right ) + 5 \, x}{2 \, {\left (3 \, x + 1\right )} \log \left (x^{2} + 4 \, \log \relax (2) - \log \relax (x) + 4 \, \log \left (\log \relax (2)\right ) + 4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((18*x^2+12*x+2)*log(16*log(2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)*log(log(16*log(2)^4/x)+x^2+4)^2+(5
*log(16*log(2)^4/x)+5*x^2+20)*log(log(16*log(2)^4/x)+x^2+4)-30*x^3-10*x^2+15*x+5)/((18*x^2+12*x+2)*log(16*log(
2)^4/x)+18*x^4+12*x^3+74*x^2+48*x+8)/log(log(16*log(2)^4/x)+x^2+4)^2,x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 9.14, size = 150, normalized size = 4.69 \begin {gather*} x-\frac {\frac {5\,x^3}{36}+\frac {5\,x}{9}}{-x^4-\frac {2\,x^3}{3}+\frac {7\,x^2}{18}+\frac {x}{3}+\frac {1}{18}}+\frac {\frac {5\,x}{2\,\left (3\,x+1\right )}-\frac {5\,x\,\ln \left (\ln \left (\frac {16\,{\ln \relax (2)}^4}{x}\right )+x^2+4\right )\,\left (\ln \left (\frac {16\,{\ln \relax (2)}^4}{x}\right )+x^2+4\right )}{2\,{\left (3\,x+1\right )}^2\,\left (2\,x^2-1\right )}}{\ln \left (\ln \left (\frac {16\,{\ln \relax (2)}^4}{x}\right )+x^2+4\right )}-\frac {5\,x\,\ln \left (\frac {16\,{\ln \relax (2)}^4}{x}\right )}{36\,\left (-x^4-\frac {2\,x^3}{3}+\frac {7\,x^2}{18}+\frac {x}{3}+\frac {1}{18}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((15*x + log(log((16*log(2)^4)/x) + x^2 + 4)*(5*log((16*log(2)^4)/x) + 5*x^2 + 20) - 10*x^2 - 30*x^3 + log(
log((16*log(2)^4)/x) + x^2 + 4)^2*(48*x + log((16*log(2)^4)/x)*(12*x + 18*x^2 + 2) + 74*x^2 + 12*x^3 + 18*x^4
+ 8) + 5)/(log(log((16*log(2)^4)/x) + x^2 + 4)^2*(48*x + log((16*log(2)^4)/x)*(12*x + 18*x^2 + 2) + 74*x^2 + 1
2*x^3 + 18*x^4 + 8)),x)

[Out]

x - ((5*x)/9 + (5*x^3)/36)/(x/3 + (7*x^2)/18 - (2*x^3)/3 - x^4 + 1/18) + ((5*x)/(2*(3*x + 1)) - (5*x*log(log((
16*log(2)^4)/x) + x^2 + 4)*(log((16*log(2)^4)/x) + x^2 + 4))/(2*(3*x + 1)^2*(2*x^2 - 1)))/log(log((16*log(2)^4
)/x) + x^2 + 4) - (5*x*log((16*log(2)^4)/x))/(36*(x/3 + (7*x^2)/18 - (2*x^3)/3 - x^4 + 1/18))

________________________________________________________________________________________

sympy [A]  time = 0.45, size = 26, normalized size = 0.81 \begin {gather*} x + \frac {5 x}{\left (6 x + 2\right ) \log {\left (x^{2} + \log {\left (\frac {16 \log {\relax (2 )}^{4}}{x} \right )} + 4 \right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((18*x**2+12*x+2)*ln(16*ln(2)**4/x)+18*x**4+12*x**3+74*x**2+48*x+8)*ln(ln(16*ln(2)**4/x)+x**2+4)**2
+(5*ln(16*ln(2)**4/x)+5*x**2+20)*ln(ln(16*ln(2)**4/x)+x**2+4)-30*x**3-10*x**2+15*x+5)/((18*x**2+12*x+2)*ln(16*
ln(2)**4/x)+18*x**4+12*x**3+74*x**2+48*x+8)/ln(ln(16*ln(2)**4/x)+x**2+4)**2,x)

[Out]

x + 5*x/((6*x + 2)*log(x**2 + log(16*log(2)**4/x) + 4))

________________________________________________________________________________________