3.97.44 \(\int \frac {8-8 x+(-32 x+432 x^2-512 x^3) \log (x)+(8-16 x) \log (x) \log (\log (x))}{\log (x)} \, dx\)

Optimal. Leaf size=22 \[ 4 x (-2+2 x) \left (2 x-16 x^2-\log (\log (x))\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.22, antiderivative size = 30, normalized size of antiderivative = 1.36, number of steps used = 18, number of rules used = 8, integrand size = 38, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.210, Rules used = {6742, 14, 2330, 2298, 2309, 2178, 2520, 2522} \begin {gather*} -128 x^4+144 x^3-16 x^2-8 x^2 \log (\log (x))+8 x \log (\log (x)) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(8 - 8*x + (-32*x + 432*x^2 - 512*x^3)*Log[x] + (8 - 16*x)*Log[x]*Log[Log[x]])/Log[x],x]

[Out]

-16*x^2 + 144*x^3 - 128*x^4 + 8*x*Log[Log[x]] - 8*x^2*Log[Log[x]]

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rule 2178

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

Rule 2298

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

Rule 2309

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 2330

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 2520

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 2522

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 6742

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {8 \left (-1+x+4 x \log (x)-54 x^2 \log (x)+64 x^3 \log (x)\right )}{\log (x)}-8 (-1+2 x) \log (\log (x))\right ) \, dx\\ &=-\left (8 \int \frac {-1+x+4 x \log (x)-54 x^2 \log (x)+64 x^3 \log (x)}{\log (x)} \, dx\right )-8 \int (-1+2 x) \log (\log (x)) \, dx\\ &=-\left (8 \int \left (2 x \left (2-27 x+32 x^2\right )+\frac {-1+x}{\log (x)}\right ) \, dx\right )-8 \int (-\log (\log (x))+2 x \log (\log (x))) \, dx\\ &=-\left (8 \int \frac {-1+x}{\log (x)} \, dx\right )+8 \int \log (\log (x)) \, dx-16 \int x \left (2-27 x+32 x^2\right ) \, dx-16 \int x \log (\log (x)) \, dx\\ &=8 x \log (\log (x))-8 x^2 \log (\log (x))-8 \int \left (-\frac {1}{\log (x)}+\frac {x}{\log (x)}\right ) \, dx-8 \int \frac {1}{\log (x)} \, dx+8 \int \frac {x}{\log (x)} \, dx-16 \int \left (2 x-27 x^2+32 x^3\right ) \, dx\\ &=-16 x^2+144 x^3-128 x^4+8 x \log (\log (x))-8 x^2 \log (\log (x))-8 \text {li}(x)+8 \int \frac {1}{\log (x)} \, dx-8 \int \frac {x}{\log (x)} \, dx+8 \operatorname {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right )\\ &=-16 x^2+144 x^3-128 x^4+8 \text {Ei}(2 \log (x))+8 x \log (\log (x))-8 x^2 \log (\log (x))-8 \operatorname {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right )\\ &=-16 x^2+144 x^3-128 x^4+8 x \log (\log (x))-8 x^2 \log (\log (x))\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.08, size = 18, normalized size = 0.82 \begin {gather*} -8 (-1+x) x (2 x (-1+8 x)+\log (\log (x))) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(8 - 8*x + (-32*x + 432*x^2 - 512*x^3)*Log[x] + (8 - 16*x)*Log[x]*Log[Log[x]])/Log[x],x]

[Out]

-8*(-1 + x)*x*(2*x*(-1 + 8*x) + Log[Log[x]])

________________________________________________________________________________________

fricas [A]  time = 0.56, size = 28, normalized size = 1.27 \begin {gather*} -128 \, x^{4} + 144 \, x^{3} - 16 \, x^{2} - 8 \, {\left (x^{2} - x\right )} \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x+8)*log(x)*log(log(x))+(-512*x^3+432*x^2-32*x)*log(x)-8*x+8)/log(x),x, algorithm="fricas")

[Out]

-128*x^4 + 144*x^3 - 16*x^2 - 8*(x^2 - x)*log(log(x))

________________________________________________________________________________________

giac [A]  time = 0.16, size = 30, normalized size = 1.36 \begin {gather*} -128 \, x^{4} + 144 \, x^{3} - 8 \, x^{2} \log \left (\log \relax (x)\right ) - 16 \, x^{2} + 8 \, x \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x+8)*log(x)*log(log(x))+(-512*x^3+432*x^2-32*x)*log(x)-8*x+8)/log(x),x, algorithm="giac")

[Out]

-128*x^4 + 144*x^3 - 8*x^2*log(log(x)) - 16*x^2 + 8*x*log(log(x))

________________________________________________________________________________________

maple [A]  time = 0.03, size = 30, normalized size = 1.36

method	result	size
risch	\(\left (-8 x^{2}+8 x \right ) \ln \left (\ln \relax (x )\right )-128 x^{4}+144 x^{3}-16 x^{2}\)	\(30\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-16*x+8)*ln(x)*ln(ln(x))+(-512*x^3+432*x^2-32*x)*ln(x)-8*x+8)/ln(x),x,method=_RETURNVERBOSE)

[Out]

(-8*x^2+8*x)*ln(ln(x))-128*x^4+144*x^3-16*x^2

________________________________________________________________________________________

maxima [A]  time = 0.40, size = 30, normalized size = 1.36 \begin {gather*} -128 \, x^{4} + 144 \, x^{3} - 8 \, x^{2} \log \left (\log \relax (x)\right ) - 16 \, x^{2} + 8 \, x \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x+8)*log(x)*log(log(x))+(-512*x^3+432*x^2-32*x)*log(x)-8*x+8)/log(x),x, algorithm="maxima")

[Out]

-128*x^4 + 144*x^3 - 8*x^2*log(log(x)) - 16*x^2 + 8*x*log(log(x))

________________________________________________________________________________________

mupad [B]  time = 5.62, size = 18, normalized size = 0.82 \begin {gather*} -8\,x\,\left (x-1\right )\,\left (\ln \left (\ln \relax (x)\right )-2\,x+16\,x^2\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(8*x + log(x)*(32*x - 432*x^2 + 512*x^3) + log(log(x))*log(x)*(16*x - 8) - 8)/log(x),x)

[Out]

-8*x*(x - 1)*(log(log(x)) - 2*x + 16*x^2)

________________________________________________________________________________________

sympy [A]  time = 0.31, size = 27, normalized size = 1.23 \begin {gather*} - 128 x^{4} + 144 x^{3} - 16 x^{2} + \left (- 8 x^{2} + 8 x\right ) \log {\left (\log {\relax (x )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x+8)*ln(x)*ln(ln(x))+(-512*x**3+432*x**2-32*x)*ln(x)-8*x+8)/ln(x),x)

[Out]

-128*x**4 + 144*x**3 - 16*x**2 + (-8*x**2 + 8*x)*log(log(x))

________________________________________________________________________________________