3.61.40 \(\int \frac {(8-2 x) \log (x)+4 \log ^2(x)-60 \log ^4(x)+e^{\frac {-3+2 \log (x)}{\log (x)}} (3-2 \log (x)-46 \log ^2(x)+15 \log ^4(x))}{(4 x-x^2) \log ^2(x)+(-60 x+15 x^2) \log ^4(x)+e^{\frac {-3+2 \log (x)}{\log (x)}} (-x \log ^2(x)+15 x \log ^4(x))} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 6.11, antiderivative size = 52, normalized size of antiderivative = 1.53, number of steps used = 8, number of rules used = 5, integrand size = 114, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.044, Rules used = {6741, 6742, 6684, 1802, 260} \begin {gather*} -\log \left (1-15 \log ^2(x)\right )+\log (x)-\log \left (x e^{\frac {3}{\log (x)}}-4 e^{\frac {3}{\log (x)}}+e^2\right )+2 \log (\log (x))+\frac {3}{\log (x)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((8 - 2*x)*Log[x] + 4*Log[x]^2 - 60*Log[x]^4 + E^((-3 + 2*Log[x])/Log[x])*(3 - 2*Log[x] - 46*Log[x]^2 + 15
*Log[x]^4))/((4*x - x^2)*Log[x]^2 + (-60*x + 15*x^2)*Log[x]^4 + E^((-3 + 2*Log[x])/Log[x])*(-(x*Log[x]^2) + 15
*x*Log[x]^4)),x]

[Out]

3/Log[x] + Log[x] - Log[E^2 - 4*E^(3/Log[x]) + E^(3/Log[x])*x] + 2*Log[Log[x]] - Log[1 - 15*Log[x]^2]

Rule 260

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

Rule 1802

Int[(Pq_)*((c_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^2)^(p_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*Pq*(a + b*x
^2)^p, x], x] /; FreeQ[{a, b, c, m}, x] && PolyQ[Pq, x] && IGtQ[p, -2]

Rule 6684

Int[(u_)/(y_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*Log[RemoveContent[y, x]], x] /;  !Fa
lseQ[q]]

Rule 6741

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

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 \frac {e^{\frac {3}{\log (x)}} \left (-((8-2 x) \log (x))-4 \log ^2(x)+60 \log ^4(x)-e^{\frac {-3+2 \log (x)}{\log (x)}} \left (3-2 \log (x)-46 \log ^2(x)+15 \log ^4(x)\right )\right )}{x \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right ) \log ^2(x) \left (1-15 \log ^2(x)\right )} \, dx\\ &=\int \left (-\frac {e^{\frac {3}{\log (x)}} \left (12-3 x+x \log ^2(x)\right )}{x \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right ) \log ^2(x)}+\frac {3-2 \log (x)-46 \log ^2(x)+15 \log ^4(x)}{x \log ^2(x) \left (-1+15 \log ^2(x)\right )}\right ) \, dx\\ &=-\int \frac {e^{\frac {3}{\log (x)}} \left (12-3 x+x \log ^2(x)\right )}{x \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right ) \log ^2(x)} \, dx+\int \frac {3-2 \log (x)-46 \log ^2(x)+15 \log ^4(x)}{x \log ^2(x) \left (-1+15 \log ^2(x)\right )} \, dx\\ &=-\log \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right )+\operatorname {Subst}\left (\int \frac {3-2 x-46 x^2+15 x^4}{x^2 \left (-1+15 x^2\right )} \, dx,x,\log (x)\right )\\ &=-\log \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right )+\operatorname {Subst}\left (\int \left (1-\frac {3}{x^2}+\frac {2}{x}-\frac {30 x}{-1+15 x^2}\right ) \, dx,x,\log (x)\right )\\ &=\frac {3}{\log (x)}+\log (x)-\log \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right )+2 \log (\log (x))-30 \operatorname {Subst}\left (\int \frac {x}{-1+15 x^2} \, dx,x,\log (x)\right )\\ &=\frac {3}{\log (x)}+\log (x)-\log \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right )+2 \log (\log (x))-\log \left (1-15 \log ^2(x)\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.16, size = 52, normalized size = 1.53 \begin {gather*} \frac {3}{\log (x)}+\log (x)-\log \left (e^2-4 e^{\frac {3}{\log (x)}}+e^{\frac {3}{\log (x)}} x\right )+2 \log (\log (x))-\log \left (1-15 \log ^2(x)\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((8 - 2*x)*Log[x] + 4*Log[x]^2 - 60*Log[x]^4 + E^((-3 + 2*Log[x])/Log[x])*(3 - 2*Log[x] - 46*Log[x]^
2 + 15*Log[x]^4))/((4*x - x^2)*Log[x]^2 + (-60*x + 15*x^2)*Log[x]^4 + E^((-3 + 2*Log[x])/Log[x])*(-(x*Log[x]^2
) + 15*x*Log[x]^4)),x]

[Out]

3/Log[x] + Log[x] - Log[E^2 - 4*E^(3/Log[x]) + E^(3/Log[x])*x] + 2*Log[Log[x]] - Log[1 - 15*Log[x]^2]

________________________________________________________________________________________

fricas [A]  time = 0.75, size = 37, normalized size = 1.09 \begin {gather*} -\log \left (15 \, \log \relax (x)^{2} - 1\right ) - \log \left (x + e^{\left (\frac {2 \, \log \relax (x) - 3}{\log \relax (x)}\right )} - 4\right ) + \log \relax (x) + 2 \, \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((15*log(x)^4-46*log(x)^2-2*log(x)+3)*exp((2*log(x)-3)/log(x))-60*log(x)^4+4*log(x)^2+(-2*x+8)*log(x
))/((15*x*log(x)^4-x*log(x)^2)*exp((2*log(x)-3)/log(x))+(15*x^2-60*x)*log(x)^4+(-x^2+4*x)*log(x)^2),x, algorit
hm="fricas")

[Out]

-log(15*log(x)^2 - 1) - log(x + e^((2*log(x) - 3)/log(x)) - 4) + log(x) + 2*log(log(x))

________________________________________________________________________________________

giac [A]  time = 0.23, size = 37, normalized size = 1.09 \begin {gather*} -\log \left (15 \, \log \relax (x)^{2} - 1\right ) - \log \left (x + e^{\left (\frac {2 \, \log \relax (x) - 3}{\log \relax (x)}\right )} - 4\right ) + \log \relax (x) + 2 \, \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((15*log(x)^4-46*log(x)^2-2*log(x)+3)*exp((2*log(x)-3)/log(x))-60*log(x)^4+4*log(x)^2+(-2*x+8)*log(x
))/((15*x*log(x)^4-x*log(x)^2)*exp((2*log(x)-3)/log(x))+(15*x^2-60*x)*log(x)^4+(-x^2+4*x)*log(x)^2),x, algorit
hm="giac")

[Out]

-log(15*log(x)^2 - 1) - log(x + e^((2*log(x) - 3)/log(x)) - 4) + log(x) + 2*log(log(x))

________________________________________________________________________________________

maple [A]  time = 0.04, size = 53, normalized size = 1.56

method	result	size
risch	\(\ln \relax (x )+\frac {3}{\ln \relax (x )}+2 \ln \left (\ln \relax (x )\right )-\ln \left (\ln \relax (x )^{2}-\frac {1}{15}\right )+\frac {2 \ln \relax (x )-3}{\ln \relax (x )}-\ln \left (x +{\mathrm e}^{\frac {2 \ln \relax (x )-3}{\ln \relax (x )}}-4\right )\)	\(53\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((15*ln(x)^4-46*ln(x)^2-2*ln(x)+3)*exp((2*ln(x)-3)/ln(x))-60*ln(x)^4+4*ln(x)^2+(-2*x+8)*ln(x))/((15*x*ln(x
)^4-x*ln(x)^2)*exp((2*ln(x)-3)/ln(x))+(15*x^2-60*x)*ln(x)^4+(-x^2+4*x)*ln(x)^2),x,method=_RETURNVERBOSE)

[Out]

ln(x)+3/ln(x)+2*ln(ln(x))-ln(ln(x)^2-1/15)+(2*ln(x)-3)/ln(x)-ln(x+exp((2*ln(x)-3)/ln(x))-4)

________________________________________________________________________________________

maxima [A]  time = 0.41, size = 52, normalized size = 1.53 \begin {gather*} \frac {3}{\log \relax (x)} - \log \left (\log \relax (x)^{2} - \frac {1}{15}\right ) - \log \left (x - 4\right ) + \log \relax (x) - \log \left (\frac {{\left (x - 4\right )} e^{\frac {3}{\log \relax (x)}} + e^{2}}{x - 4}\right ) + 2 \, \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((15*log(x)^4-46*log(x)^2-2*log(x)+3)*exp((2*log(x)-3)/log(x))-60*log(x)^4+4*log(x)^2+(-2*x+8)*log(x
))/((15*x*log(x)^4-x*log(x)^2)*exp((2*log(x)-3)/log(x))+(15*x^2-60*x)*log(x)^4+(-x^2+4*x)*log(x)^2),x, algorit
hm="maxima")

[Out]

3/log(x) - log(log(x)^2 - 1/15) - log(x - 4) + log(x) - log(((x - 4)*e^(3/log(x)) + e^2)/(x - 4)) + 2*log(log(
x))

________________________________________________________________________________________

mupad [B]  time = 4.56, size = 47, normalized size = 1.38 \begin {gather*} 2\,\ln \left (\frac {1}{x^2}\right )-\ln \left (x+{\mathrm {e}}^{-\frac {3}{\ln \relax (x)}}\,{\mathrm {e}}^2-4\right )+2\,\ln \left (\ln \relax (x)\right )-\ln \left (\frac {15\,{\ln \relax (x)}^2-1}{x}\right )+4\,\ln \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((60*log(x)^4 - 4*log(x)^2 + log(x)*(2*x - 8) + exp((2*log(x) - 3)/log(x))*(2*log(x) + 46*log(x)^2 - 15*log
(x)^4 - 3))/(log(x)^4*(60*x - 15*x^2) - log(x)^2*(4*x - x^2) + exp((2*log(x) - 3)/log(x))*(x*log(x)^2 - 15*x*l
og(x)^4)),x)

[Out]

2*log(1/x^2) - log(x + exp(-3/log(x))*exp(2) - 4) + 2*log(log(x)) - log((15*log(x)^2 - 1)/x) + 4*log(x)

________________________________________________________________________________________

sympy [A]  time = 0.46, size = 36, normalized size = 1.06 \begin {gather*} \log {\relax (x )} - \log {\left (\log {\relax (x )}^{2} - \frac {1}{15} \right )} - \log {\left (x + e^{\frac {2 \log {\relax (x )} - 3}{\log {\relax (x )}}} - 4 \right )} + 2 \log {\left (\log {\relax (x )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((15*ln(x)**4-46*ln(x)**2-2*ln(x)+3)*exp((2*ln(x)-3)/ln(x))-60*ln(x)**4+4*ln(x)**2+(-2*x+8)*ln(x))/(
(15*x*ln(x)**4-x*ln(x)**2)*exp((2*ln(x)-3)/ln(x))+(15*x**2-60*x)*ln(x)**4+(-x**2+4*x)*ln(x)**2),x)

[Out]

log(x) - log(log(x)**2 - 1/15) - log(x + exp((2*log(x) - 3)/log(x)) - 4) + 2*log(log(x))

________________________________________________________________________________________