3.86.93 \(\int \frac {5+(-5+5 x) \log (4 x)-5 \log (4 x) \log (-\frac {e^{-2+x} \log (5) \log (4 x)}{x})}{x^2 \log (4 x)} \, dx\) [8593]

Optimal. Leaf size=24 \[ 2+\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x} \]

[Out]

5*ln(-ln(5)*ln(4*x)/x/exp(2-x))/x+2

________________________________________________________________________________________

Rubi [A]
time = 0.30, antiderivative size = 22, normalized size of antiderivative = 0.92, number of steps used = 16, number of rules used = 8, integrand size = 45, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.178, Rules used = {6874, 6820, 14, 45, 2346, 2209, 30, 2635} \begin {gather*} \frac {5 \log \left (-\frac {e^{x-2} \log (5) \log (4 x)}{x}\right )}{x} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

(5*Log[-((E^(-2 + x)*Log[5]*Log[4*x])/x)])/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 30

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

Rule 45

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, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

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 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 2635

Int[Log[u_]*(v_), x_Symbol] :> With[{w = IntHide[v, x]}, Dist[Log[u], w, x] - Int[SimplifyIntegrand[w*Simplify
[D[u, x]/u], x], x] /; InverseFunctionFreeQ[w, x]] /; ProductQ[u]

Rule 6820

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

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 \left (\frac {5 (1-\log (4 x)+x \log (4 x))}{x^2 \log (4 x)}-\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x^2}\right ) \, dx\\ &=5 \int \frac {1-\log (4 x)+x \log (4 x)}{x^2 \log (4 x)} \, dx-5 \int \frac {\log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x^2} \, dx\\ &=\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x}+5 \int \frac {-1+x+\frac {1}{\log (4 x)}}{x^2} \, dx+5 \int \frac {-1-(-1+x) \log (4 x)}{x^2 \log (4 x)} \, dx\\ &=\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x}+5 \int \left (\frac {1-x}{x^2}-\frac {1}{x^2 \log (4 x)}\right ) \, dx+5 \int \left (\frac {-1+x}{x^2}+\frac {1}{x^2 \log (4 x)}\right ) \, dx\\ &=\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x}+5 \int \frac {1-x}{x^2} \, dx+5 \int \frac {-1+x}{x^2} \, dx\\ &=\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x}+5 \int \left (\frac {1}{x^2}-\frac {1}{x}\right ) \, dx+5 \int \left (-\frac {1}{x^2}+\frac {1}{x}\right ) \, dx\\ &=\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.08, size = 24, normalized size = 1.00 \begin {gather*} -5+\frac {5 \log \left (-\frac {e^{-2+x} \log (5) \log (4 x)}{x}\right )}{x} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

-5 + (5*Log[-((E^(-2 + x)*Log[5]*Log[4*x])/x)])/x

________________________________________________________________________________________

Maple [F]
time = 0.07, size = 0, normalized size = 0.00 \[\int \frac {-5 \ln \left (4 x \right ) \ln \left (-\frac {\ln \left (5\right ) \ln \left (4 x \right ) {\mathrm e}^{x -2}}{x}\right )+\left (5 x -5\right ) \ln \left (4 x \right )+5}{x^{2} \ln \left (4 x \right )}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-5*ln(4*x)*ln(-ln(5)*ln(4*x)/x/exp(2-x))+(5*x-5)*ln(4*x)+5)/x^2/ln(4*x),x)

[Out]

int((-5*ln(4*x)*ln(-ln(5)*ln(4*x)/x/exp(2-x))+(5*x-5)*ln(4*x)+5)/x^2/ln(4*x),x)

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-5*log(4*x)*log(-log(5)*log(4*x)/x/exp(2-x))+(5*x-5)*log(4*x)+5)/x^2/log(4*x),x, algorithm="maxima"
)

[Out]

-5*((x + 1)*log(x) - log(-2*log(2) - log(x)) - log(log(5)) + 3)/x + 5/x + 20*Ei(-log(4*x)) - 5*integrate(1/(2*
x^2*log(2) + x^2*log(x)), x) + 5*log(x)

________________________________________________________________________________________

Fricas [A]
time = 0.40, size = 21, normalized size = 0.88 \begin {gather*} \frac {5 \, \log \left (-\frac {e^{\left (x - 2\right )} \log \left (5\right ) \log \left (4 \, x\right )}{x}\right )}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-5*log(4*x)*log(-log(5)*log(4*x)/x/exp(2-x))+(5*x-5)*log(4*x)+5)/x^2/log(4*x),x, algorithm="fricas"
)

[Out]

5*log(-e^(x - 2)*log(5)*log(4*x)/x)/x

________________________________________________________________________________________

Sympy [A]
time = 0.17, size = 20, normalized size = 0.83 \begin {gather*} \frac {5 \log {\left (- \frac {e^{x - 2} \log {\left (5 \right )} \log {\left (4 x \right )}}{x} \right )}}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-5*ln(4*x)*ln(-ln(5)*ln(4*x)/x/exp(2-x))+(5*x-5)*ln(4*x)+5)/x**2/ln(4*x),x)

[Out]

5*log(-exp(x - 2)*log(5)*log(4*x)/x)/x

________________________________________________________________________________________

Giac [A]
time = 0.44, size = 27, normalized size = 1.12 \begin {gather*} \frac {5 \, \log \left (-\log \left (5\right ) \log \left (4 \, x\right )\right )}{x} - \frac {5 \, \log \left (x\right )}{x} - \frac {10}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-5*log(4*x)*log(-log(5)*log(4*x)/x/exp(2-x))+(5*x-5)*log(4*x)+5)/x^2/log(4*x),x, algorithm="giac")

[Out]

5*log(-log(5)*log(4*x))/x - 5*log(x)/x - 10/x

________________________________________________________________________________________

Mupad [B]
time = 5.69, size = 20, normalized size = 0.83 \begin {gather*} \frac {5\,\ln \left (-\frac {\ln \left (4\,x\right )\,\ln \left (5\right )}{x}\right )-10}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(4*x)*(5*x - 5) - 5*log(4*x)*log(-(log(4*x)*exp(x - 2)*log(5))/x) + 5)/(x^2*log(4*x)),x)

[Out]

(5*log(-(log(4*x)*log(5))/x) - 10)/x

________________________________________________________________________________________