3.99.59 \(\int \frac {(-125-55 x-6 x^2+50 x^4+20 x^5+2 x^6) \log (4)+(-5 x+200 x^4+80 x^5+8 x^6) \log (4) \log (x) \log (\frac {2}{\log (x)})}{(25 x+10 x^2+x^3) \log (x) \log ^2(\frac {2}{\log (x)})} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 1.65, 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 {\left (-125-55 x-6 x^2+50 x^4+20 x^5+2 x^6\right ) \log (4)+\left (-5 x+200 x^4+80 x^5+8 x^6\right ) \log (4) \log (x) \log \left (\frac {2}{\log (x)}\right )}{\left (25 x+10 x^2+x^3\right ) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[((-125 - 55*x - 6*x^2 + 50*x^4 + 20*x^5 + 2*x^6)*Log[4] + (-5*x + 200*x^4 + 80*x^5 + 8*x^6)*Log[4]*Log[x]*
Log[2/Log[x]])/((25*x + 10*x^2 + x^3)*Log[x]*Log[2/Log[x]]^2),x]

[Out]

(-5*Log[4])/Log[2/Log[x]] + 2*Log[4]*Defer[Int][x^3/(Log[x]*Log[2/Log[x]]^2), x] - Log[4]*Defer[Int][1/((5 + x
)*Log[x]*Log[2/Log[x]]^2), x] + 8*Log[4]*Defer[Int][x^3/Log[2/Log[x]], x] - 5*Log[4]*Defer[Int][1/((5 + x)^2*L
og[2/Log[x]]), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\left (-125-55 x-6 x^2+50 x^4+20 x^5+2 x^6\right ) \log (4)+\left (-5 x+200 x^4+80 x^5+8 x^6\right ) \log (4) \log (x) \log \left (\frac {2}{\log (x)}\right )}{x \left (25+10 x+x^2\right ) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx\\ &=\int \frac {\left (-125-55 x-6 x^2+50 x^4+20 x^5+2 x^6\right ) \log (4)+\left (-5 x+200 x^4+80 x^5+8 x^6\right ) \log (4) \log (x) \log \left (\frac {2}{\log (x)}\right )}{x (5+x)^2 \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx\\ &=\int \left (\frac {\left (-25-6 x+10 x^4+2 x^5\right ) \log (4)}{x (5+x) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )}+\frac {\left (-5+200 x^3+80 x^4+8 x^5\right ) \log (4)}{(5+x)^2 \log \left (\frac {2}{\log (x)}\right )}\right ) \, dx\\ &=\log (4) \int \frac {-25-6 x+10 x^4+2 x^5}{x (5+x) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx+\log (4) \int \frac {-5+200 x^3+80 x^4+8 x^5}{(5+x)^2 \log \left (\frac {2}{\log (x)}\right )} \, dx\\ &=\log (4) \int \left (-\frac {5}{x \log (x) \log ^2\left (\frac {2}{\log (x)}\right )}+\frac {2 x^3}{\log (x) \log ^2\left (\frac {2}{\log (x)}\right )}-\frac {1}{(5+x) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )}\right ) \, dx+\log (4) \int \left (\frac {8 x^3}{\log \left (\frac {2}{\log (x)}\right )}-\frac {5}{(5+x)^2 \log \left (\frac {2}{\log (x)}\right )}\right ) \, dx\\ &=-\left (\log (4) \int \frac {1}{(5+x) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx\right )+(2 \log (4)) \int \frac {x^3}{\log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx-(5 \log (4)) \int \frac {1}{x \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx-(5 \log (4)) \int \frac {1}{(5+x)^2 \log \left (\frac {2}{\log (x)}\right )} \, dx+(8 \log (4)) \int \frac {x^3}{\log \left (\frac {2}{\log (x)}\right )} \, dx\\ &=-\left (\log (4) \int \frac {1}{(5+x) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx\right )+(2 \log (4)) \int \frac {x^3}{\log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx-(5 \log (4)) \int \frac {1}{(5+x)^2 \log \left (\frac {2}{\log (x)}\right )} \, dx-(5 \log (4)) \operatorname {Subst}\left (\int \frac {1}{x \log ^2\left (\frac {2}{x}\right )} \, dx,x,\log (x)\right )+(8 \log (4)) \int \frac {x^3}{\log \left (\frac {2}{\log (x)}\right )} \, dx\\ &=-\left (\log (4) \int \frac {1}{(5+x) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx\right )+(2 \log (4)) \int \frac {x^3}{\log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx-(5 \log (4)) \int \frac {1}{(5+x)^2 \log \left (\frac {2}{\log (x)}\right )} \, dx+(5 \log (4)) \operatorname {Subst}\left (\int \frac {1}{x^2} \, dx,x,\log \left (\frac {2}{\log (x)}\right )\right )+(8 \log (4)) \int \frac {x^3}{\log \left (\frac {2}{\log (x)}\right )} \, dx\\ &=-\frac {5 \log (4)}{\log \left (\frac {2}{\log (x)}\right )}-\log (4) \int \frac {1}{(5+x) \log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx+(2 \log (4)) \int \frac {x^3}{\log (x) \log ^2\left (\frac {2}{\log (x)}\right )} \, dx-(5 \log (4)) \int \frac {1}{(5+x)^2 \log \left (\frac {2}{\log (x)}\right )} \, dx+(8 \log (4)) \int \frac {x^3}{\log \left (\frac {2}{\log (x)}\right )} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.22, size = 32, normalized size = 1.19 \begin {gather*} \frac {\left (-25-6 x+10 x^4+2 x^5\right ) \log (4)}{(5+x) \log \left (\frac {2}{\log (x)}\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((-125 - 55*x - 6*x^2 + 50*x^4 + 20*x^5 + 2*x^6)*Log[4] + (-5*x + 200*x^4 + 80*x^5 + 8*x^6)*Log[4]*L
og[x]*Log[2/Log[x]])/((25*x + 10*x^2 + x^3)*Log[x]*Log[2/Log[x]]^2),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.63, size = 33, normalized size = 1.22 \begin {gather*} \frac {2 \, {\left (2 \, x^{5} + 10 \, x^{4} - 6 \, x - 25\right )} \log \relax (2)}{{\left (x + 5\right )} \log \left (\frac {2}{\log \relax (x)}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*(8*x^6+80*x^5+200*x^4-5*x)*log(2)*log(x)*log(2/log(x))+2*(2*x^6+20*x^5+50*x^4-6*x^2-55*x-125)*log
(2))/(x^3+10*x^2+25*x)/log(x)/log(2/log(x))^2,x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.19, size = 48, normalized size = 1.78 \begin {gather*} \frac {2 \, {\left (2 \, x^{5} \log \relax (2) + 10 \, x^{4} \log \relax (2) - 6 \, x \log \relax (2) - 25 \, \log \relax (2)\right )}}{x \log \relax (2) - x \log \left (\log \relax (x)\right ) + 5 \, \log \relax (2) - 5 \, \log \left (\log \relax (x)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*(8*x^6+80*x^5+200*x^4-5*x)*log(2)*log(x)*log(2/log(x))+2*(2*x^6+20*x^5+50*x^4-6*x^2-55*x-125)*log
(2))/(x^3+10*x^2+25*x)/log(x)/log(2/log(x))^2,x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.13, size = 37, normalized size = 1.37

method	result	size
risch	\(\frac {4 \ln \relax (2) \left (2 x^{5}+10 x^{4}-6 x -25\right )}{\left (5+x \right ) \left (2 \ln \relax (2)-2 \ln \left (\ln \relax (x )\right )\right )}\)	\(37\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2*(8*x^6+80*x^5+200*x^4-5*x)*ln(2)*ln(x)*ln(2/ln(x))+2*(2*x^6+20*x^5+50*x^4-6*x^2-55*x-125)*ln(2))/(x^3+1
0*x^2+25*x)/ln(x)/ln(2/ln(x))^2,x,method=_RETURNVERBOSE)

[Out]

4*ln(2)*(2*x^5+10*x^4-6*x-25)/(5+x)/(2*ln(2)-2*ln(ln(x)))

________________________________________________________________________________________

maxima [A]  time = 0.48, size = 45, normalized size = 1.67 \begin {gather*} \frac {2 \, {\left (2 \, x^{5} \log \relax (2) + 10 \, x^{4} \log \relax (2) - 6 \, x \log \relax (2) - 25 \, \log \relax (2)\right )}}{x \log \relax (2) - {\left (x + 5\right )} \log \left (\log \relax (x)\right ) + 5 \, \log \relax (2)} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*(8*x^6+80*x^5+200*x^4-5*x)*log(2)*log(x)*log(2/log(x))+2*(2*x^6+20*x^5+50*x^4-6*x^2-55*x-125)*log
(2))/(x^3+10*x^2+25*x)/log(x)/log(2/log(x))^2,x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 6.08, size = 33, normalized size = 1.22 \begin {gather*} -\frac {2\,\ln \relax (2)\,\left (-2\,x^5-10\,x^4+6\,x+25\right )}{\ln \left (\frac {2}{\ln \relax (x)}\right )\,\left (x+5\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(2*log(2)*(55*x + 6*x^2 - 50*x^4 - 20*x^5 - 2*x^6 + 125) - 2*log(2/log(x))*log(2)*log(x)*(200*x^4 - 5*x +
80*x^5 + 8*x^6))/(log(2/log(x))^2*log(x)*(25*x + 10*x^2 + x^3)),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.36, size = 37, normalized size = 1.37 \begin {gather*} \frac {4 x^{5} \log {\relax (2 )} + 20 x^{4} \log {\relax (2 )} - 12 x \log {\relax (2 )} - 50 \log {\relax (2 )}}{\left (x + 5\right ) \log {\left (\frac {2}{\log {\relax (x )}} \right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*(8*x**6+80*x**5+200*x**4-5*x)*ln(2)*ln(x)*ln(2/ln(x))+2*(2*x**6+20*x**5+50*x**4-6*x**2-55*x-125)*
ln(2))/(x**3+10*x**2+25*x)/ln(x)/ln(2/ln(x))**2,x)

[Out]

(4*x**5*log(2) + 20*x**4*log(2) - 12*x*log(2) - 50*log(2))/((x + 5)*log(2/log(x)))

________________________________________________________________________________________