\(\int \frac {18-42 x+32 x^2-8 x^3+(18 x-24 x^2+8 x^3) \log (\frac {x}{5})+(-60 x+72 x^2-24 x^3) \log ^2(\frac {x}{5})}{(9 x-12 x^2+4 x^3) \log ^2(\frac {x}{5})} \, dx\) [7834]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [A] (verification not implemented)
   Maxima [B] (verification not implemented)
   Giac [A] (verification not implemented)
   Mupad [B] (verification not implemented)

Optimal result

Integrand size = 84, antiderivative size = 34 \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=-2-x-5 (1+x)+\frac {2 x}{-3+2 x}+\frac {-2+2 x}{\log \left (\frac {x}{5}\right )} \]

[Out]

2/(-3+2*x)*x-7-6*x+(-2+2*x)/ln(1/5*x)

Rubi [A] (verified)

Time = 0.28 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.00, number of steps used = 14, number of rules used = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.119, Rules used = {1608, 27, 6820, 12, 697, 2367, 2334, 2335, 2339, 30} \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=-6 x-\frac {3}{3-2 x}+\frac {2 x}{\log \left (\frac {x}{5}\right )}-\frac {2}{\log \left (\frac {x}{5}\right )} \]

[In]

Int[(18 - 42*x + 32*x^2 - 8*x^3 + (18*x - 24*x^2 + 8*x^3)*Log[x/5] + (-60*x + 72*x^2 - 24*x^3)*Log[x/5]^2)/((9
*x - 12*x^2 + 4*x^3)*Log[x/5]^2),x]

[Out]

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

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 27

Int[(u_.)*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[u*Cancel[(b/2 + c*x)^(2*p)/c^p], x] /; Fr
eeQ[{a, b, c}, x] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 30

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Rule 697

Int[((d_.) + (e_.)*(x_))^(m_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[ExpandIntegrand[(d +
 e*x)^m*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, m}, x] && NeQ[b^2 - 4*a*c, 0] && EqQ[2*c*d - b*e,
 0] && IGtQ[p, 0] &&  !(EqQ[m, 3] && NeQ[p, 1])

Rule 1608

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.) + (c_.)*(x_)^(r_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^
(q - p) + c*x^(r - p))^n, x] /; FreeQ[{a, b, c, p, q, r}, x] && IntegerQ[n] && PosQ[q - p] && PosQ[r - p]

Rule 2334

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

Rule 2335

Int[Log[(c_.)*(x_)]^(-1), x_Symbol] :> Simp[LogIntegral[c*x]/c, x] /; FreeQ[c, x]

Rule 2339

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/(x_), x_Symbol] :> Dist[1/(b*n), Subst[Int[x^p, x], x, a + b*L
og[c*x^n]], x] /; FreeQ[{a, b, c, n, p}, x]

Rule 2367

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_)^(r_.))^(q_.), x_Symbol] :> With[{u = Expand
Integrand[(a + b*Log[c*x^n])^p, (d + e*x^r)^q, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, d, e, n, p, q, r}
, x] && IntegerQ[q] && (GtQ[q, 0] || (IGtQ[p, 0] && IntegerQ[r]))

Rule 6820

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

Rubi steps \begin{align*} \text {integral}& = \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{x \left (9-12 x+4 x^2\right ) \log ^2\left (\frac {x}{5}\right )} \, dx \\ & = \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{x (-3+2 x)^2 \log ^2\left (\frac {x}{5}\right )} \, dx \\ & = \int 2 \left (-\frac {6 \left (5-6 x+2 x^2\right )}{(3-2 x)^2}+\frac {-1+\frac {1}{x}}{\log ^2\left (\frac {x}{5}\right )}+\frac {1}{\log \left (\frac {x}{5}\right )}\right ) \, dx \\ & = 2 \int \left (-\frac {6 \left (5-6 x+2 x^2\right )}{(3-2 x)^2}+\frac {-1+\frac {1}{x}}{\log ^2\left (\frac {x}{5}\right )}+\frac {1}{\log \left (\frac {x}{5}\right )}\right ) \, dx \\ & = 2 \int \frac {-1+\frac {1}{x}}{\log ^2\left (\frac {x}{5}\right )} \, dx+2 \int \frac {1}{\log \left (\frac {x}{5}\right )} \, dx-12 \int \frac {5-6 x+2 x^2}{(3-2 x)^2} \, dx \\ & = 10 \operatorname {LogIntegral}\left (\frac {x}{5}\right )+2 \int \left (-\frac {1}{\log ^2\left (\frac {x}{5}\right )}+\frac {1}{x \log ^2\left (\frac {x}{5}\right )}\right ) \, dx-12 \int \left (\frac {1}{2}+\frac {1}{2 (-3+2 x)^2}\right ) \, dx \\ & = -\frac {3}{3-2 x}-6 x+10 \operatorname {LogIntegral}\left (\frac {x}{5}\right )-2 \int \frac {1}{\log ^2\left (\frac {x}{5}\right )} \, dx+2 \int \frac {1}{x \log ^2\left (\frac {x}{5}\right )} \, dx \\ & = -\frac {3}{3-2 x}-6 x+\frac {2 x}{\log \left (\frac {x}{5}\right )}+10 \operatorname {LogIntegral}\left (\frac {x}{5}\right )-2 \int \frac {1}{\log \left (\frac {x}{5}\right )} \, dx+2 \text {Subst}\left (\int \frac {1}{x^2} \, dx,x,\log \left (\frac {x}{5}\right )\right ) \\ & = -\frac {3}{3-2 x}-6 x-\frac {2}{\log \left (\frac {x}{5}\right )}+\frac {2 x}{\log \left (\frac {x}{5}\right )} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.16 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.03 \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=2 \left (-\frac {3}{2 (3-2 x)}-\frac {3}{2} (-3+2 x)+\frac {-1+x}{\log \left (\frac {x}{5}\right )}\right ) \]

[In]

Integrate[(18 - 42*x + 32*x^2 - 8*x^3 + (18*x - 24*x^2 + 8*x^3)*Log[x/5] + (-60*x + 72*x^2 - 24*x^3)*Log[x/5]^
2)/((9*x - 12*x^2 + 4*x^3)*Log[x/5]^2),x]

[Out]

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

Maple [A] (verified)

Time = 0.13 (sec) , antiderivative size = 31, normalized size of antiderivative = 0.91

method result size
derivativedivides \(-6 x +\frac {3}{-3+2 x}+\frac {2 x}{\ln \left (\frac {x}{5}\right )}-\frac {2}{\ln \left (\frac {x}{5}\right )}\) \(31\)
default \(-6 x +\frac {3}{-3+2 x}+\frac {2 x}{\ln \left (\frac {x}{5}\right )}-\frac {2}{\ln \left (\frac {x}{5}\right )}\) \(31\)
parts \(-6 x +\frac {3}{-3+2 x}+\frac {2 x}{\ln \left (\frac {x}{5}\right )}-\frac {2}{\ln \left (\frac {x}{5}\right )}\) \(31\)
risch \(-\frac {3 \left (4 x^{2}-6 x -1\right )}{-3+2 x}+\frac {-2+2 x}{\ln \left (\frac {x}{5}\right )}\) \(32\)
norman \(\frac {6+30 \ln \left (\frac {x}{5}\right )-10 x +4 x^{2}-12 \ln \left (\frac {x}{5}\right ) x^{2}}{\left (-3+2 x \right ) \ln \left (\frac {x}{5}\right )}\) \(40\)
parallelrisch \(\frac {12-24 \ln \left (\frac {x}{5}\right ) x^{2}+8 x^{2}-20 x +60 \ln \left (\frac {x}{5}\right )}{2 \ln \left (\frac {x}{5}\right ) \left (-3+2 x \right )}\) \(41\)

[In]

int(((-24*x^3+72*x^2-60*x)*ln(1/5*x)^2+(8*x^3-24*x^2+18*x)*ln(1/5*x)-8*x^3+32*x^2-42*x+18)/(4*x^3-12*x^2+9*x)/
ln(1/5*x)^2,x,method=_RETURNVERBOSE)

[Out]

-6*x+3/(-3+2*x)+2/ln(1/5*x)*x-2/ln(1/5*x)

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.18 \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=\frac {4 \, x^{2} - 3 \, {\left (4 \, x^{2} - 6 \, x - 1\right )} \log \left (\frac {1}{5} \, x\right ) - 10 \, x + 6}{{\left (2 \, x - 3\right )} \log \left (\frac {1}{5} \, x\right )} \]

[In]

integrate(((-24*x^3+72*x^2-60*x)*log(1/5*x)^2+(8*x^3-24*x^2+18*x)*log(1/5*x)-8*x^3+32*x^2-42*x+18)/(4*x^3-12*x
^2+9*x)/log(1/5*x)^2,x, algorithm="fricas")

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.07 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.56 \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=- 6 x + \frac {2 x - 2}{\log {\left (\frac {x}{5} \right )}} + \frac {3}{2 x - 3} \]

[In]

integrate(((-24*x**3+72*x**2-60*x)*ln(1/5*x)**2+(8*x**3-24*x**2+18*x)*ln(1/5*x)-8*x**3+32*x**2-42*x+18)/(4*x**
3-12*x**2+9*x)/ln(1/5*x)**2,x)

[Out]

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

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 63 vs. \(2 (26) = 52\).

Time = 0.32 (sec) , antiderivative size = 63, normalized size of antiderivative = 1.85 \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=-\frac {4 \, x^{2} {\left (3 \, \log \left (5\right ) + 1\right )} - 2 \, x {\left (9 \, \log \left (5\right ) + 5\right )} - 3 \, {\left (4 \, x^{2} - 6 \, x - 1\right )} \log \left (x\right ) - 3 \, \log \left (5\right ) + 6}{2 \, x \log \left (5\right ) - {\left (2 \, x - 3\right )} \log \left (x\right ) - 3 \, \log \left (5\right )} \]

[In]

integrate(((-24*x^3+72*x^2-60*x)*log(1/5*x)^2+(8*x^3-24*x^2+18*x)*log(1/5*x)-8*x^3+32*x^2-42*x+18)/(4*x^3-12*x
^2+9*x)/log(1/5*x)^2,x, algorithm="maxima")

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.71 \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=-6 \, x + \frac {2 \, {\left (x - 1\right )}}{\log \left (\frac {1}{5} \, x\right )} + \frac {3}{2 \, x - 3} \]

[In]

integrate(((-24*x^3+72*x^2-60*x)*log(1/5*x)^2+(8*x^3-24*x^2+18*x)*log(1/5*x)-8*x^3+32*x^2-42*x+18)/(4*x^3-12*x
^2+9*x)/log(1/5*x)^2,x, algorithm="giac")

[Out]

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

Mupad [B] (verification not implemented)

Time = 14.36 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.24 \[ \int \frac {18-42 x+32 x^2-8 x^3+\left (18 x-24 x^2+8 x^3\right ) \log \left (\frac {x}{5}\right )+\left (-60 x+72 x^2-24 x^3\right ) \log ^2\left (\frac {x}{5}\right )}{\left (9 x-12 x^2+4 x^3\right ) \log ^2\left (\frac {x}{5}\right )} \, dx=\frac {20\,x-12\,x^2}{2\,x-3}+\frac {4\,x^2-10\,x+6}{\ln \left (\frac {x}{5}\right )\,\left (2\,x-3\right )} \]

[In]

int(-(42*x - log(x/5)*(18*x - 24*x^2 + 8*x^3) + log(x/5)^2*(60*x - 72*x^2 + 24*x^3) - 32*x^2 + 8*x^3 - 18)/(lo
g(x/5)^2*(9*x - 12*x^2 + 4*x^3)),x)

[Out]

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