\(\int \frac {5-2 x+(-35+18 x+6 x^2) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx\) [7543]

Optimal result

Integrand size = 37, antiderivative size = 18 \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=\frac {1}{5} x (-5+2 x) (7+x-\log (\log (x))) \]

[Out]

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

Rubi [A] (verified)

Time = 0.12 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.83, number of steps used = 17, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.216, Rules used = {12, 6874, 2367, 2335, 2346, 2209, 2600, 2602} \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=\frac {2 x^3}{5}+\frac {9 x^2}{5}-\frac {2}{5} x^2 \log (\log (x))-7 x+x \log (\log (x)) \]

[In]

Int[(5 - 2*x + (-35 + 18*x + 6*x^2)*Log[x] + (5 - 4*x)*Log[x]*Log[Log[x]])/(5*Log[x]),x]

[Out]

-7*x + (9*x^2)/5 + (2*x^3)/5 + x*Log[Log[x]] - (2*x^2*Log[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 2209

Int[(F_)^((g_.)*((e_.) + (f_.)*(x_)))/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[(F^(g*(e - c*(f/d)))/d)*ExpInteg
ralEi[f*g*(c + d*x)*(Log[F]/d)], x] /; FreeQ[{F, c, d, e, f, g}, x] &&  !TrueQ[$UseGamma]

Rule 2335

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

Rule 2346

Int[((a_.) + Log[(c_.)*(x_)]*(b_.))^(p_)*(x_)^(m_.), x_Symbol] :> Dist[1/c^(m + 1), Subst[Int[E^((m + 1)*x)*(a
+ b*x)^p, x], x, Log[c*x]], x] /; FreeQ[{a, b, c, p}, x] && IntegerQ[m]

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 2600

Int[Log[Log[(d_.)*(x_)^(n_.)]^(p_.)*(c_.)], x_Symbol] :> Simp[x*Log[c*Log[d*x^n]^p], x] - Dist[n*p, Int[1/Log[
d*x^n], x], x] /; FreeQ[{c, d, n, p}, x]

Rule 2602

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

Rule 6874

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

Rubi steps \begin{align*} \text {integral}& = \frac {1}{5} \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{\log (x)} \, dx \\ & = \frac {1}{5} \int \left (\frac {5-2 x-35 \log (x)+18 x \log (x)+6 x^2 \log (x)}{\log (x)}-(-5+4 x) \log (\log (x))\right ) \, dx \\ & = \frac {1}{5} \int \frac {5-2 x-35 \log (x)+18 x \log (x)+6 x^2 \log (x)}{\log (x)} \, dx-\frac {1}{5} \int (-5+4 x) \log (\log (x)) \, dx \\ & = \frac {1}{5} \int \left (-35+18 x+6 x^2+\frac {5-2 x}{\log (x)}\right ) \, dx-\frac {1}{5} \int (-5 \log (\log (x))+4 x \log (\log (x))) \, dx \\ & = -7 x+\frac {9 x^2}{5}+\frac {2 x^3}{5}+\frac {1}{5} \int \frac {5-2 x}{\log (x)} \, dx-\frac {4}{5} \int x \log (\log (x)) \, dx+\int \log (\log (x)) \, dx \\ & = -7 x+\frac {9 x^2}{5}+\frac {2 x^3}{5}+x \log (\log (x))-\frac {2}{5} x^2 \log (\log (x))+\frac {1}{5} \int \left (\frac {5}{\log (x)}-\frac {2 x}{\log (x)}\right ) \, dx+\frac {2}{5} \int \frac {x}{\log (x)} \, dx-\int \frac {1}{\log (x)} \, dx \\ & = -7 x+\frac {9 x^2}{5}+\frac {2 x^3}{5}+x \log (\log (x))-\frac {2}{5} x^2 \log (\log (x))-\operatorname {LogIntegral}(x)-\frac {2}{5} \int \frac {x}{\log (x)} \, dx+\frac {2}{5} \text {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right )+\int \frac {1}{\log (x)} \, dx \\ & = -7 x+\frac {9 x^2}{5}+\frac {2 x^3}{5}+\frac {2}{5} \operatorname {ExpIntegralEi}(2 \log (x))+x \log (\log (x))-\frac {2}{5} x^2 \log (\log (x))-\frac {2}{5} \text {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right ) \\ & = -7 x+\frac {9 x^2}{5}+\frac {2 x^3}{5}+x \log (\log (x))-\frac {2}{5} x^2 \log (\log (x)) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.06 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.83 \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=-7 x+\frac {9 x^2}{5}+\frac {2 x^3}{5}+x \log (\log (x))-\frac {2}{5} x^2 \log (\log (x)) \]

[In]

Integrate[(5 - 2*x + (-35 + 18*x + 6*x^2)*Log[x] + (5 - 4*x)*Log[x]*Log[Log[x]])/(5*Log[x]),x]

[Out]

-7*x + (9*x^2)/5 + (2*x^3)/5 + x*Log[Log[x]] - (2*x^2*Log[Log[x]])/5

Maple [A] (verified)

Time = 0.23 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.56

method	result	size
default	\(-7 x -\frac {2 x^{2} \ln \left (\ln \left (x \right )\right )}{5}+x \ln \left (\ln \left (x \right )\right )+\frac {9 x^{2}}{5}+\frac {2 x^{3}}{5}\)	\(28\)
norman	\(-7 x -\frac {2 x^{2} \ln \left (\ln \left (x \right )\right )}{5}+x \ln \left (\ln \left (x \right )\right )+\frac {9 x^{2}}{5}+\frac {2 x^{3}}{5}\)	\(28\)
parallelrisch	\(-7 x -\frac {2 x^{2} \ln \left (\ln \left (x \right )\right )}{5}+x \ln \left (\ln \left (x \right )\right )+\frac {9 x^{2}}{5}+\frac {2 x^{3}}{5}\)	\(28\)
parts	\(-7 x -\frac {2 x^{2} \ln \left (\ln \left (x \right )\right )}{5}+x \ln \left (\ln \left (x \right )\right )+\frac {9 x^{2}}{5}+\frac {2 x^{3}}{5}\)	\(28\)
risch	\(\frac {\left (-2 x^{2}+5 x \right ) \ln \left (\ln \left (x \right )\right )}{5}+\frac {2 x^{3}}{5}+\frac {9 x^{2}}{5}-7 x\)	\(29\)

[In]

int(1/5*((-4*x+5)*ln(x)*ln(ln(x))+(6*x^2+18*x-35)*ln(x)-2*x+5)/ln(x),x,method=_RETURNVERBOSE)

[Out]

-7*x-2/5*x^2*ln(ln(x))+x*ln(ln(x))+9/5*x^2+2/5*x^3

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.56 \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=\frac {2}{5} \, x^{3} + \frac {9}{5} \, x^{2} - \frac {1}{5} \, {\left (2 \, x^{2} - 5 \, x\right )} \log \left (\log \left (x\right )\right ) - 7 \, x \]

[In]

integrate(1/5*((-4*x+5)*log(x)*log(log(x))+(6*x^2+18*x-35)*log(x)-2*x+5)/log(x),x, algorithm="fricas")

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.13 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.61 \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=\frac {2 x^{3}}{5} + \frac {9 x^{2}}{5} - 7 x + \left (- \frac {2 x^{2}}{5} + x\right ) \log {\left (\log {\left (x \right )} \right )} \]

[In]

integrate(1/5*((-4*x+5)*ln(x)*ln(ln(x))+(6*x**2+18*x-35)*ln(x)-2*x+5)/ln(x),x)

[Out]

2*x**3/5 + 9*x**2/5 - 7*x + (-2*x**2/5 + x)*log(log(x))

Maxima [A] (verification not implemented)

none

Time = 0.22 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.50 \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=\frac {2}{5} \, x^{3} - \frac {2}{5} \, x^{2} \log \left (\log \left (x\right )\right ) + \frac {9}{5} \, x^{2} + x \log \left (\log \left (x\right )\right ) - 7 \, x \]

[In]

integrate(1/5*((-4*x+5)*log(x)*log(log(x))+(6*x^2+18*x-35)*log(x)-2*x+5)/log(x),x, algorithm="maxima")

[Out]

2/5*x^3 - 2/5*x^2*log(log(x)) + 9/5*x^2 + x*log(log(x)) - 7*x

Giac [A] (verification not implemented)

none

Time = 0.29 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.50 \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=\frac {2}{5} \, x^{3} - \frac {2}{5} \, x^{2} \log \left (\log \left (x\right )\right ) + \frac {9}{5} \, x^{2} + x \log \left (\log \left (x\right )\right ) - 7 \, x \]

[In]

integrate(1/5*((-4*x+5)*log(x)*log(log(x))+(6*x^2+18*x-35)*log(x)-2*x+5)/log(x),x, algorithm="giac")

[Out]

2/5*x^3 - 2/5*x^2*log(log(x)) + 9/5*x^2 + x*log(log(x)) - 7*x

Mupad [B] (verification not implemented)

Time = 12.61 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.89 \[ \int \frac {5-2 x+\left (-35+18 x+6 x^2\right ) \log (x)+(5-4 x) \log (x) \log (\log (x))}{5 \log (x)} \, dx=\frac {x\,\left (2\,x-5\right )\,\left (x-\ln \left (\ln \left (x\right )\right )+7\right )}{5} \]

[In]

int(-((2*x)/5 - (log(x)*(18*x + 6*x^2 - 35))/5 + (log(log(x))*log(x)*(4*x - 5))/5 - 1)/log(x),x)

[Out]

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