3.22.4 \(\int \frac {720 x+144 x^2-288 x^3+(360-648 x-432 x^2) \log (x)+(-360-144 x) \log ^2(x)}{125 x^3+75 x^4+15 x^5+x^6} \, dx\) [2104]

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

[Out]

36*(-2*x-ln(x))^2/(5+x)^2/x^2

________________________________________________________________________________________

Rubi [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
time = 0.49, antiderivative size = 153, normalized size of antiderivative = 7.65, number of steps used = 34, number of rules used = 15, integrand size = 59, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.254, Rules used = {6873, 6874, 46, 2404, 2341, 2338, 2356, 2351, 31, 2354, 2438, 2342, 2389, 2379, 2355} \begin {gather*} -\frac {72 \text {Li}_2\left (-\frac {5}{x}\right )}{625}-\frac {72 \text {Li}_2\left (-\frac {x}{5}\right )}{625}+\frac {36 \log ^2(x)}{25 x^2}+\frac {144}{(x+5)^2}-\frac {72 \log ^2(x)}{125 x}-\frac {72 x \log ^2(x)}{625 (x+5)}+\frac {36 \log ^2(x)}{25 (x+5)^2}+\frac {108 \log ^2(x)}{625}+\frac {72}{625} \log \left (\frac {5}{x}+1\right ) \log (x)-\frac {72}{625} \log \left (\frac {x}{5}+1\right ) \log (x)+\frac {144 \log (x)}{25 x}+\frac {144 x \log (x)}{125 (x+5)}-\frac {144 \log (x)}{5 (x+5)^2}-\frac {144 \log (x)}{125} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(720*x + 144*x^2 - 288*x^3 + (360 - 648*x - 432*x^2)*Log[x] + (-360 - 144*x)*Log[x]^2)/(125*x^3 + 75*x^4 +
15*x^5 + x^6),x]

[Out]

144/(5 + x)^2 - (144*Log[x])/125 + (144*Log[x])/(25*x) - (144*Log[x])/(5*(5 + x)^2) + (144*x*Log[x])/(125*(5 +
x)) + (72*Log[1 + 5/x]*Log[x])/625 - (72*Log[1 + x/5]*Log[x])/625 + (108*Log[x]^2)/625 + (36*Log[x]^2)/(25*x^
2) - (72*Log[x]^2)/(125*x) + (36*Log[x]^2)/(25*(5 + x)^2) - (72*x*Log[x]^2)/(625*(5 + x)) - (72*PolyLog[2, -5/
x])/625 - (72*PolyLog[2, -1/5*x])/625

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 46

Int[((a_) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d*x
)^n, x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] && ILtQ[m, 0] && IntegerQ[n] &&  !(IGtQ[n, 0] && Lt
Q[m + n + 2, 0])

Rule 2338

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*x^n])^2/(2*b*n), x] /; FreeQ[{a
, b, c, n}, x]

Rule 2341

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[(d*x)^(m + 1)*((a + b*Log[c*x^
n])/(d*(m + 1))), x] - Simp[b*n*((d*x)^(m + 1)/(d*(m + 1)^2)), x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[m, -1
]

Rule 2342

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[(d*x)^(m + 1)*((a + b*Lo
g[c*x^n])^p/(d*(m + 1))), x] - Dist[b*n*(p/(m + 1)), Int[(d*x)^m*(a + b*Log[c*x^n])^(p - 1), x], x] /; FreeQ[{
a, b, c, d, m, n}, x] && NeQ[m, -1] && GtQ[p, 0]

Rule 2351

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_) + (e_.)*(x_)^(r_.))^(q_), x_Symbol] :> Simp[x*(d + e*x^r)^(q +
1)*((a + b*Log[c*x^n])/d), x] - Dist[b*(n/d), Int[(d + e*x^r)^(q + 1), x], x] /; FreeQ[{a, b, c, d, e, n, q,
r}, x] && EqQ[r*(q + 1) + 1, 0]

Rule 2354

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((d_) + (e_.)*(x_)), x_Symbol] :> Simp[Log[1 + e*(x/d)]*((a +
b*Log[c*x^n])^p/e), x] - Dist[b*n*(p/e), Int[Log[1 + e*(x/d)]*((a + b*Log[c*x^n])^(p - 1)/x), x], x] /; FreeQ[
{a, b, c, d, e, n}, x] && IGtQ[p, 0]

Rule 2355

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((d_) + (e_.)*(x_))^2, x_Symbol] :> Simp[x*((a + b*Log[c*x^n])
^p/(d*(d + e*x))), x] - Dist[b*n*(p/d), Int[(a + b*Log[c*x^n])^(p - 1)/(d + e*x), x], x] /; FreeQ[{a, b, c, d,
e, n, p}, x] && GtQ[p, 0]

Rule 2356

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_))^(q_.), x_Symbol] :> Simp[(d + e*x)^(q + 1)
*((a + b*Log[c*x^n])^p/(e*(q + 1))), x] - Dist[b*n*(p/(e*(q + 1))), Int[((d + e*x)^(q + 1)*(a + b*Log[c*x^n])^
(p - 1))/x, x], x] /; FreeQ[{a, b, c, d, e, n, p, q}, x] && GtQ[p, 0] && NeQ[q, -1] && (EqQ[p, 1] || (Integers
Q[2*p, 2*q] &&  !IGtQ[q, 0]) || (EqQ[p, 2] && NeQ[q, 1]))

Rule 2379

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((x_)*((d_) + (e_.)*(x_)^(r_.))), x_Symbol] :> Simp[(-Log[1 +
d/(e*x^r)])*((a + b*Log[c*x^n])^p/(d*r)), x] + Dist[b*n*(p/(d*r)), Int[Log[1 + d/(e*x^r)]*((a + b*Log[c*x^n])^
(p - 1)/x), x], x] /; FreeQ[{a, b, c, d, e, n, r}, x] && IGtQ[p, 0]

Rule 2389

Int[(((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_))^(q_))/(x_), x_Symbol] :> Dist[1/d, Int[(d
+ e*x)^(q + 1)*((a + b*Log[c*x^n])^p/x), x], x] - Dist[e/d, Int[(d + e*x)^q*(a + b*Log[c*x^n])^p, x], x] /; F
reeQ[{a, b, c, d, e, n}, x] && IGtQ[p, 0] && LtQ[q, -1] && IntegerQ[2*q]

Rule 2404

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[(a + b*Log[c*x^
n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, n}, x] && RationalFunctionQ[RFx, x] && IGtQ[p, 0]

Rule 2438

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2, (-c)*e*x^n]/n, x] /; FreeQ[{c, d,
e, n}, x] && EqQ[c*d, 1]

Rule 6873

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

Rule 6874

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {720 x+144 x^2-288 x^3+\left (360-648 x-432 x^2\right ) \log (x)+(-360-144 x) \log ^2(x)}{x^3 (5+x)^3} \, dx\\ &=\int \left (-\frac {288}{(5+x)^3}+\frac {720}{x^2 (5+x)^3}+\frac {144}{x (5+x)^3}-\frac {72 \left (-5+9 x+6 x^2\right ) \log (x)}{x^3 (5+x)^3}-\frac {72 (5+2 x) \log ^2(x)}{x^3 (5+x)^3}\right ) \, dx\\ &=\frac {144}{(5+x)^2}-72 \int \frac {\left (-5+9 x+6 x^2\right ) \log (x)}{x^3 (5+x)^3} \, dx-72 \int \frac {(5+2 x) \log ^2(x)}{x^3 (5+x)^3} \, dx+144 \int \frac {1}{x (5+x)^3} \, dx+720 \int \frac {1}{x^2 (5+x)^3} \, dx\\ &=\frac {144}{(5+x)^2}-72 \int \left (-\frac {\log (x)}{25 x^3}+\frac {12 \log (x)}{125 x^2}-\frac {3 \log (x)}{625 x}-\frac {4 \log (x)}{5 (5+x)^3}-\frac {9 \log (x)}{125 (5+x)^2}+\frac {3 \log (x)}{625 (5+x)}\right ) \, dx-72 \int \left (\frac {\log ^2(x)}{25 x^3}-\frac {\log ^2(x)}{125 x^2}+\frac {\log ^2(x)}{25 (5+x)^3}+\frac {\log ^2(x)}{125 (5+x)^2}\right ) \, dx+144 \int \left (\frac {1}{125 x}-\frac {1}{5 (5+x)^3}-\frac {1}{25 (5+x)^2}-\frac {1}{125 (5+x)}\right ) \, dx+720 \int \left (\frac {1}{125 x^2}-\frac {3}{625 x}+\frac {1}{25 (5+x)^3}+\frac {2}{125 (5+x)^2}+\frac {3}{625 (5+x)}\right ) \, dx\\ &=-\frac {144}{25 x}+\frac {144}{(5+x)^2}-\frac {144}{25 (5+x)}-\frac {288 \log (x)}{125}+\frac {288}{125} \log (5+x)+\frac {216}{625} \int \frac {\log (x)}{x} \, dx-\frac {216}{625} \int \frac {\log (x)}{5+x} \, dx+\frac {72}{125} \int \frac {\log ^2(x)}{x^2} \, dx-\frac {72}{125} \int \frac {\log ^2(x)}{(5+x)^2} \, dx+\frac {72}{25} \int \frac {\log (x)}{x^3} \, dx-\frac {72}{25} \int \frac {\log ^2(x)}{x^3} \, dx-\frac {72}{25} \int \frac {\log ^2(x)}{(5+x)^3} \, dx+\frac {648}{125} \int \frac {\log (x)}{(5+x)^2} \, dx-\frac {864}{125} \int \frac {\log (x)}{x^2} \, dx+\frac {288}{5} \int \frac {\log (x)}{(5+x)^3} \, dx\\ &=-\frac {18}{25 x^2}+\frac {144}{125 x}+\frac {144}{(5+x)^2}-\frac {144}{25 (5+x)}-\frac {288 \log (x)}{125}-\frac {36 \log (x)}{25 x^2}+\frac {864 \log (x)}{125 x}-\frac {144 \log (x)}{5 (5+x)^2}+\frac {648 x \log (x)}{625 (5+x)}-\frac {216}{625} \log \left (1+\frac {x}{5}\right ) \log (x)+\frac {108 \log ^2(x)}{625}+\frac {36 \log ^2(x)}{25 x^2}-\frac {72 \log ^2(x)}{125 x}+\frac {36 \log ^2(x)}{25 (5+x)^2}-\frac {72 x \log ^2(x)}{625 (5+x)}+\frac {288}{125} \log (5+x)+\frac {144}{625} \int \frac {\log (x)}{5+x} \, dx+\frac {216}{625} \int \frac {\log \left (1+\frac {x}{5}\right )}{x} \, dx-\frac {648}{625} \int \frac {1}{5+x} \, dx+\frac {144}{125} \int \frac {\log (x)}{x^2} \, dx-\frac {72}{25} \int \frac {\log (x)}{x^3} \, dx-\frac {72}{25} \int \frac {\log (x)}{x (5+x)^2} \, dx+\frac {144}{5} \int \frac {1}{x (5+x)^2} \, dx\\ &=\frac {144}{(5+x)^2}-\frac {144}{25 (5+x)}-\frac {288 \log (x)}{125}+\frac {144 \log (x)}{25 x}-\frac {144 \log (x)}{5 (5+x)^2}+\frac {648 x \log (x)}{625 (5+x)}-\frac {72}{625} \log \left (1+\frac {x}{5}\right ) \log (x)+\frac {108 \log ^2(x)}{625}+\frac {36 \log ^2(x)}{25 x^2}-\frac {72 \log ^2(x)}{125 x}+\frac {36 \log ^2(x)}{25 (5+x)^2}-\frac {72 x \log ^2(x)}{625 (5+x)}+\frac {792}{625} \log (5+x)-\frac {216 \text {Li}_2\left (-\frac {x}{5}\right )}{625}-\frac {144}{625} \int \frac {\log \left (1+\frac {x}{5}\right )}{x} \, dx+\frac {72}{125} \int \frac {\log (x)}{(5+x)^2} \, dx-\frac {72}{125} \int \frac {\log (x)}{x (5+x)} \, dx+\frac {144}{5} \int \left (\frac {1}{25 x}-\frac {1}{5 (5+x)^2}-\frac {1}{25 (5+x)}\right ) \, dx\\ &=\frac {144}{(5+x)^2}-\frac {144 \log (x)}{125}+\frac {144 \log (x)}{25 x}-\frac {144 \log (x)}{5 (5+x)^2}+\frac {144 x \log (x)}{125 (5+x)}-\frac {72}{625} \log \left (1+\frac {x}{5}\right ) \log (x)+\frac {108 \log ^2(x)}{625}+\frac {36 \log ^2(x)}{25 x^2}-\frac {72 \log ^2(x)}{125 x}+\frac {36 \log ^2(x)}{25 (5+x)^2}-\frac {72 x \log ^2(x)}{625 (5+x)}+\frac {72}{625} \log (5+x)-\frac {72 \text {Li}_2\left (-\frac {x}{5}\right )}{625}-\frac {72}{625} \int \frac {1}{5+x} \, dx-\frac {72}{625} \int \frac {\log (x)}{x} \, dx+\frac {72}{625} \int \frac {\log (x)}{5+x} \, dx\\ &=\frac {144}{(5+x)^2}-\frac {144 \log (x)}{125}+\frac {144 \log (x)}{25 x}-\frac {144 \log (x)}{5 (5+x)^2}+\frac {144 x \log (x)}{125 (5+x)}+\frac {72 \log ^2(x)}{625}+\frac {36 \log ^2(x)}{25 x^2}-\frac {72 \log ^2(x)}{125 x}+\frac {36 \log ^2(x)}{25 (5+x)^2}-\frac {72 x \log ^2(x)}{625 (5+x)}-\frac {72 \text {Li}_2\left (-\frac {x}{5}\right )}{625}-\frac {72}{625} \int \frac {\log \left (1+\frac {x}{5}\right )}{x} \, dx\\ &=\frac {144}{(5+x)^2}-\frac {144 \log (x)}{125}+\frac {144 \log (x)}{25 x}-\frac {144 \log (x)}{5 (5+x)^2}+\frac {144 x \log (x)}{125 (5+x)}+\frac {72 \log ^2(x)}{625}+\frac {36 \log ^2(x)}{25 x^2}-\frac {72 \log ^2(x)}{125 x}+\frac {36 \log ^2(x)}{25 (5+x)^2}-\frac {72 x \log ^2(x)}{625 (5+x)}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.06, size = 18, normalized size = 0.90 \begin {gather*} \frac {36 (2 x+\log (x))^2}{x^2 (5+x)^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(720*x + 144*x^2 - 288*x^3 + (360 - 648*x - 432*x^2)*Log[x] + (-360 - 144*x)*Log[x]^2)/(125*x^3 + 75
*x^4 + 15*x^5 + x^6),x]

[Out]

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

________________________________________________________________________________________

Maple [A]
time = 0.06, size = 27, normalized size = 1.35

method	result	size
norman	\(\frac {144 x^{2}+36 \ln \left (x \right )^{2}+144 x \ln \left (x \right )}{\left (5+x \right )^{2} x^{2}}\)	\(27\)
risch	\(\frac {36 \ln \left (x \right )^{2}}{x^{2} \left (x^{2}+10 x +25\right )}+\frac {144 \ln \left (x \right )}{x \left (x^{2}+10 x +25\right )}+\frac {144}{x^{2}+10 x +25}\)	\(50\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-144*x-360)*ln(x)^2+(-432*x^2-648*x+360)*ln(x)-288*x^3+144*x^2+720*x)/(x^6+15*x^5+75*x^4+125*x^3),x,meth
od=_RETURNVERBOSE)

[Out]

(144*x^2+36*ln(x)^2+144*x*ln(x))/(5+x)^2/x^2

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 99 vs. \(2 (18) = 36\).
time = 0.30, size = 99, normalized size = 4.95 \begin {gather*} \frac {36 \, {\left (8 \, x^{3} + 60 \, x^{2} + 100 \, x \log \left (x\right ) + 25 \, \log \left (x\right )^{2} + 100 \, x\right )}}{25 \, {\left (x^{4} + 10 \, x^{3} + 25 \, x^{2}\right )}} - \frac {72 \, {\left (6 \, x^{2} + 45 \, x + 50\right )}}{25 \, {\left (x^{3} + 10 \, x^{2} + 25 \, x\right )}} + \frac {72 \, {\left (2 \, x + 15\right )}}{25 \, {\left (x^{2} + 10 \, x + 25\right )}} + \frac {144}{x^{2} + 10 \, x + 25} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-144*x-360)*log(x)^2+(-432*x^2-648*x+360)*log(x)-288*x^3+144*x^2+720*x)/(x^6+15*x^5+75*x^4+125*x^3
),x, algorithm="maxima")

[Out]

36/25*(8*x^3 + 60*x^2 + 100*x*log(x) + 25*log(x)^2 + 100*x)/(x^4 + 10*x^3 + 25*x^2) - 72/25*(6*x^2 + 45*x + 50
)/(x^3 + 10*x^2 + 25*x) + 72/25*(2*x + 15)/(x^2 + 10*x + 25) + 144/(x^2 + 10*x + 25)

________________________________________________________________________________________

Fricas [A]
time = 0.36, size = 33, normalized size = 1.65 \begin {gather*} \frac {36 \, {\left (4 \, x^{2} + 4 \, x \log \left (x\right ) + \log \left (x\right )^{2}\right )}}{x^{4} + 10 \, x^{3} + 25 \, x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-144*x-360)*log(x)^2+(-432*x^2-648*x+360)*log(x)-288*x^3+144*x^2+720*x)/(x^6+15*x^5+75*x^4+125*x^3
),x, algorithm="fricas")

[Out]

36*(4*x^2 + 4*x*log(x) + log(x)^2)/(x^4 + 10*x^3 + 25*x^2)

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 48 vs. \(2 (19) = 38\).
time = 0.12, size = 48, normalized size = 2.40 \begin {gather*} \frac {36 \log {\left (x \right )}^{2}}{x^{4} + 10 x^{3} + 25 x^{2}} + \frac {144 \log {\left (x \right )}}{x^{3} + 10 x^{2} + 25 x} + \frac {288}{2 x^{2} + 20 x + 50} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-144*x-360)*ln(x)**2+(-432*x**2-648*x+360)*ln(x)-288*x**3+144*x**2+720*x)/(x**6+15*x**5+75*x**4+12
5*x**3),x)

[Out]

36*log(x)**2/(x**4 + 10*x**3 + 25*x**2) + 144*log(x)/(x**3 + 10*x**2 + 25*x) + 288/(2*x**2 + 20*x + 50)

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 70 vs. \(2 (18) = 36\).
time = 0.43, size = 70, normalized size = 3.50 \begin {gather*} \frac {36}{125} \, {\left (\frac {2 \, x + 15}{x^{2} + 10 \, x + 25} - \frac {2 \, x - 5}{x^{2}}\right )} \log \left (x\right )^{2} - \frac {144}{25} \, {\left (\frac {x + 10}{x^{2} + 10 \, x + 25} - \frac {1}{x}\right )} \log \left (x\right ) + \frac {144}{x^{2} + 10 \, x + 25} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-144*x-360)*log(x)^2+(-432*x^2-648*x+360)*log(x)-288*x^3+144*x^2+720*x)/(x^6+15*x^5+75*x^4+125*x^3
),x, algorithm="giac")

[Out]

36/125*((2*x + 15)/(x^2 + 10*x + 25) - (2*x - 5)/x^2)*log(x)^2 - 144/25*((x + 10)/(x^2 + 10*x + 25) - 1/x)*log
(x) + 144/(x^2 + 10*x + 25)

________________________________________________________________________________________

Mupad [B]
time = 1.27, size = 26, normalized size = 1.30 \begin {gather*} \frac {144\,x^2+144\,x\,\ln \left (x\right )+36\,{\ln \left (x\right )}^2}{x^2\,{\left (x+5\right )}^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(x)*(648*x + 432*x^2 - 360) - 720*x - 144*x^2 + 288*x^3 + log(x)^2*(144*x + 360))/(125*x^3 + 75*x^4 +
15*x^5 + x^6),x)

[Out]

(36*log(x)^2 + 144*x*log(x) + 144*x^2)/(x^2*(x + 5)^2)

________________________________________________________________________________________