3.21.74 \(\int \frac {-400-105 x+(-200-50 x) \log (-4-x)+(-80-20 x+(-40-10 x) \log (-4-x)) \log (2+\log (-4-x))}{200 x^3+50 x^4+(100 x^3+25 x^4) \log (-4-x)+(80 x^3+20 x^4+(40 x^3+10 x^4) \log (-4-x)) \log (2+\log (-4-x))+(8 x^3+2 x^4+(4 x^3+x^4) \log (-4-x)) \log ^2(2+\log (-4-x))} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 2.13, 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 {-400-105 x+(-200-50 x) \log (-4-x)+(-80-20 x+(-40-10 x) \log (-4-x)) \log (2+\log (-4-x))}{200 x^3+50 x^4+\left (100 x^3+25 x^4\right ) \log (-4-x)+\left (80 x^3+20 x^4+\left (40 x^3+10 x^4\right ) \log (-4-x)\right ) \log (2+\log (-4-x))+\left (8 x^3+2 x^4+\left (4 x^3+x^4\right ) \log (-4-x)\right ) \log ^2(2+\log (-4-x))} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(-400 - 105*x + (-200 - 50*x)*Log[-4 - x] + (-80 - 20*x + (-40 - 10*x)*Log[-4 - x])*Log[2 + Log[-4 - x]])/
(200*x^3 + 50*x^4 + (100*x^3 + 25*x^4)*Log[-4 - x] + (80*x^3 + 20*x^4 + (40*x^3 + 10*x^4)*Log[-4 - x])*Log[2 +
Log[-4 - x]] + (8*x^3 + 2*x^4 + (4*x^3 + x^4)*Log[-4 - x])*Log[2 + Log[-4 - x]]^2),x]

[Out]

5/(16*(5 + Log[2 + Log[-4 - x]])) - (5*Defer[Int][1/(x^2*(2 + Log[-4 - x])*(5 + Log[2 + Log[-4 - x]])^2), x])/
4 + (5*Defer[Int][1/(x*(2 + Log[-4 - x])*(5 + Log[2 + Log[-4 - x]])^2), x])/16 - 10*Defer[Int][1/(x^3*(5 + Log
[2 + Log[-4 - x]])), x]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.17, size = 18, normalized size = 1.00 \begin {gather*} \frac {5}{x^2 (5+\log (2+\log (-4-x)))} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-400 - 105*x + (-200 - 50*x)*Log[-4 - x] + (-80 - 20*x + (-40 - 10*x)*Log[-4 - x])*Log[2 + Log[-4 -
x]])/(200*x^3 + 50*x^4 + (100*x^3 + 25*x^4)*Log[-4 - x] + (80*x^3 + 20*x^4 + (40*x^3 + 10*x^4)*Log[-4 - x])*L
og[2 + Log[-4 - x]] + (8*x^3 + 2*x^4 + (4*x^3 + x^4)*Log[-4 - x])*Log[2 + Log[-4 - x]]^2),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 1.06, size = 23, normalized size = 1.28 \begin {gather*} \frac {5}{x^{2} \log \left (\log \left (-x - 4\right ) + 2\right ) + 5 \, x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-10*x-40)*log(-x-4)-20*x-80)*log(log(-x-4)+2)+(-50*x-200)*log(-x-4)-105*x-400)/(((x^4+4*x^3)*log(
-x-4)+2*x^4+8*x^3)*log(log(-x-4)+2)^2+((10*x^4+40*x^3)*log(-x-4)+20*x^4+80*x^3)*log(log(-x-4)+2)+(25*x^4+100*x
^3)*log(-x-4)+50*x^4+200*x^3),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.31, size = 23, normalized size = 1.28 \begin {gather*} \frac {5}{x^{2} \log \left (\log \left (-x - 4\right ) + 2\right ) + 5 \, x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-10*x-40)*log(-x-4)-20*x-80)*log(log(-x-4)+2)+(-50*x-200)*log(-x-4)-105*x-400)/(((x^4+4*x^3)*log(
-x-4)+2*x^4+8*x^3)*log(log(-x-4)+2)^2+((10*x^4+40*x^3)*log(-x-4)+20*x^4+80*x^3)*log(log(-x-4)+2)+(25*x^4+100*x
^3)*log(-x-4)+50*x^4+200*x^3),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.02, size = 19, normalized size = 1.06

method	result	size
risch	\(\frac {5}{\left (5+\ln \left (\ln \left (-x -4\right )+2\right )\right ) x^{2}}\)	\(19\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-10*x-40)*ln(-x-4)-20*x-80)*ln(ln(-x-4)+2)+(-50*x-200)*ln(-x-4)-105*x-400)/(((x^4+4*x^3)*ln(-x-4)+2*x^4
+8*x^3)*ln(ln(-x-4)+2)^2+((10*x^4+40*x^3)*ln(-x-4)+20*x^4+80*x^3)*ln(ln(-x-4)+2)+(25*x^4+100*x^3)*ln(-x-4)+50*
x^4+200*x^3),x,method=_RETURNVERBOSE)

[Out]

5/(5+ln(ln(-x-4)+2))/x^2

________________________________________________________________________________________

maxima [A]  time = 0.65, size = 23, normalized size = 1.28 \begin {gather*} \frac {5}{x^{2} \log \left (\log \left (-x - 4\right ) + 2\right ) + 5 \, x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-10*x-40)*log(-x-4)-20*x-80)*log(log(-x-4)+2)+(-50*x-200)*log(-x-4)-105*x-400)/(((x^4+4*x^3)*log(
-x-4)+2*x^4+8*x^3)*log(log(-x-4)+2)^2+((10*x^4+40*x^3)*log(-x-4)+20*x^4+80*x^3)*log(log(-x-4)+2)+(25*x^4+100*x
^3)*log(-x-4)+50*x^4+200*x^3),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 1.60, size = 18, normalized size = 1.00 \begin {gather*} \frac {5}{x^2\,\left (\ln \left (\ln \left (-x-4\right )+2\right )+5\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(105*x + log(- x - 4)*(50*x + 200) + log(log(- x - 4) + 2)*(20*x + log(- x - 4)*(10*x + 40) + 80) + 400)/
(log(log(- x - 4) + 2)*(log(- x - 4)*(40*x^3 + 10*x^4) + 80*x^3 + 20*x^4) + log(log(- x - 4) + 2)^2*(log(- x -
4)*(4*x^3 + x^4) + 8*x^3 + 2*x^4) + log(- x - 4)*(100*x^3 + 25*x^4) + 200*x^3 + 50*x^4),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.33, size = 19, normalized size = 1.06 \begin {gather*} \frac {5}{x^{2} \log {\left (\log {\left (- x - 4 \right )} + 2 \right )} + 5 x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-10*x-40)*ln(-x-4)-20*x-80)*ln(ln(-x-4)+2)+(-50*x-200)*ln(-x-4)-105*x-400)/(((x**4+4*x**3)*ln(-x-
4)+2*x**4+8*x**3)*ln(ln(-x-4)+2)**2+((10*x**4+40*x**3)*ln(-x-4)+20*x**4+80*x**3)*ln(ln(-x-4)+2)+(25*x**4+100*x
**3)*ln(-x-4)+50*x**4+200*x**3),x)

[Out]

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

________________________________________________________________________________________