3.51.82 \(\int \frac {(20-48 x+12 x^2) \log ^4(3)+(5 x-6 x^2+x^3) \log ^4(3) \log (5)+(5 x-6 x^2+x^3) \log ^4(3) \log (-5 x+6 x^2-x^3)}{(5 x-6 x^2+x^3) \log (5)+(5 x-6 x^2+x^3) \log (-5 x+6 x^2-x^3)} \, dx\)

Optimal. Leaf size=24 \[ \log ^4(3) (x+4 \log (\log (5)+\log ((5-x) (-1+x) x))) \]

________________________________________________________________________________________

Rubi [A]  time = 0.71, antiderivative size = 29, normalized size of antiderivative = 1.21, number of steps used = 5, number of rules used = 4, integrand size = 114, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.035, Rules used = {6688, 12, 6728, 6684} \begin {gather*} 4 \log ^4(3) \log \left (\log \left (-x \left (x^2-6 x+5\right )\right )+\log (5)\right )+x \log ^4(3) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((20 - 48*x + 12*x^2)*Log[3]^4 + (5*x - 6*x^2 + x^3)*Log[3]^4*Log[5] + (5*x - 6*x^2 + x^3)*Log[3]^4*Log[-5
*x + 6*x^2 - x^3])/((5*x - 6*x^2 + x^3)*Log[5] + (5*x - 6*x^2 + x^3)*Log[-5*x + 6*x^2 - x^3]),x]

[Out]

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

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, 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]]

Rule 6728

Int[(u_)/((a_.) + (b_.)*(x_)^(n_.) + (c_.)*(x_)^(n2_.)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a +
b*x^n + c*x^(2*n)), x]}, Int[v, x] /; SumQ[v]] /; FreeQ[{a, b, c}, x] && EqQ[n2, 2*n] && IGtQ[n, 0]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.13, size = 25, normalized size = 1.04 \begin {gather*} \log ^4(3) \left (x+4 \log \left (\log (5)+\log \left (-x \left (5-6 x+x^2\right )\right )\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((20 - 48*x + 12*x^2)*Log[3]^4 + (5*x - 6*x^2 + x^3)*Log[3]^4*Log[5] + (5*x - 6*x^2 + x^3)*Log[3]^4*
Log[-5*x + 6*x^2 - x^3])/((5*x - 6*x^2 + x^3)*Log[5] + (5*x - 6*x^2 + x^3)*Log[-5*x + 6*x^2 - x^3]),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.83, size = 32, normalized size = 1.33 \begin {gather*} x \log \relax (3)^{4} + 4 \, \log \relax (3)^{4} \log \left (\log \relax (5) + \log \left (-x^{3} + 6 \, x^{2} - 5 \, x\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^3-6*x^2+5*x)*log(3)^4*log(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*log(3)^4*log(5)+(12*x^2-48*x+20)*log(3
)^4)/((x^3-6*x^2+5*x)*log(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*log(5)),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.26, size = 32, normalized size = 1.33 \begin {gather*} x \log \relax (3)^{4} + 4 \, \log \relax (3)^{4} \log \left (\log \relax (5) + \log \left (-x^{3} + 6 \, x^{2} - 5 \, x\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^3-6*x^2+5*x)*log(3)^4*log(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*log(3)^4*log(5)+(12*x^2-48*x+20)*log(3
)^4)/((x^3-6*x^2+5*x)*log(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*log(5)),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.11, size = 33, normalized size = 1.38

method	result	size
norman	\(x \ln \relax (3)^{4}+4 \ln \relax (3)^{4} \ln \left (\ln \left (-x^{3}+6 x^{2}-5 x \right )+\ln \relax (5)\right )\)	\(33\)
risch	\(x \ln \relax (3)^{4}+4 \ln \relax (3)^{4} \ln \left (\ln \left (-x^{3}+6 x^{2}-5 x \right )+\ln \relax (5)\right )\)	\(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x^3-6*x^2+5*x)*ln(3)^4*ln(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*ln(3)^4*ln(5)+(12*x^2-48*x+20)*ln(3)^4)/((x^3-
6*x^2+5*x)*ln(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*ln(5)),x,method=_RETURNVERBOSE)

[Out]

x*ln(3)^4+4*ln(3)^4*ln(ln(-x^3+6*x^2-5*x)+ln(5))

________________________________________________________________________________________

maxima [A]  time = 0.47, size = 29, normalized size = 1.21 \begin {gather*} x \log \relax (3)^{4} + 4 \, \log \relax (3)^{4} \log \left (\log \relax (5) + \log \left (x - 1\right ) + \log \relax (x) + \log \left (-x + 5\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^3-6*x^2+5*x)*log(3)^4*log(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*log(3)^4*log(5)+(12*x^2-48*x+20)*log(3
)^4)/((x^3-6*x^2+5*x)*log(-x^3+6*x^2-5*x)+(x^3-6*x^2+5*x)*log(5)),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 3.83, size = 29, normalized size = 1.21 \begin {gather*} x\,{\ln \relax (3)}^4+4\,{\ln \relax (3)}^4\,\ln \left (\ln \left (-5\,x^3+30\,x^2-25\,x\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(3)^4*(12*x^2 - 48*x + 20) + log(6*x^2 - 5*x - x^3)*log(3)^4*(5*x - 6*x^2 + x^3) + log(3)^4*log(5)*(5*
x - 6*x^2 + x^3))/(log(5)*(5*x - 6*x^2 + x^3) + log(6*x^2 - 5*x - x^3)*(5*x - 6*x^2 + x^3)),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.32, size = 31, normalized size = 1.29 \begin {gather*} x \log {\relax (3 )}^{4} + 4 \log {\relax (3 )}^{4} \log {\left (\log {\left (- x^{3} + 6 x^{2} - 5 x \right )} + \log {\relax (5 )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x**3-6*x**2+5*x)*ln(3)**4*ln(-x**3+6*x**2-5*x)+(x**3-6*x**2+5*x)*ln(3)**4*ln(5)+(12*x**2-48*x+20)*
ln(3)**4)/((x**3-6*x**2+5*x)*ln(-x**3+6*x**2-5*x)+(x**3-6*x**2+5*x)*ln(5)),x)

[Out]

x*log(3)**4 + 4*log(3)**4*log(log(-x**3 + 6*x**2 - 5*x) + log(5))

________________________________________________________________________________________