3.67.41 \(\int \frac {-\log (3)+e^{16+\log ^2(x)} x^8 (-35 \log (3) \log (5)-10 \log (3) \log (5) \log (x))}{x^2 \log (5)} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.07, antiderivative size = 26, normalized size of antiderivative = 0.90, number of steps used = 4, number of rules used = 3, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.075, Rules used = {12, 14, 2288} \begin {gather*} \frac {\log (3)}{x \log (5)}-5 x^7 \log (3) e^{\log ^2(x)+16} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-Log[3] + E^(16 + Log[x]^2)*x^8*(-35*Log[3]*Log[5] - 10*Log[3]*Log[5]*Log[x]))/(x^2*Log[5]),x]

[Out]

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

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {-\log (3)+e^{16+\log ^2(x)} x^8 (-35 \log (3) \log (5)-10 \log (3) \log (5) \log (x))}{x^2} \, dx}{\log (5)}\\ &=\frac {\int \left (-\frac {\log (3)}{x^2}-5 e^{16+\log ^2(x)} x^6 \log (3) \log (5) (7+2 \log (x))\right ) \, dx}{\log (5)}\\ &=\frac {\log (3)}{x \log (5)}-(5 \log (3)) \int e^{16+\log ^2(x)} x^6 (7+2 \log (x)) \, dx\\ &=-5 e^{16+\log ^2(x)} x^7 \log (3)+\frac {\log (3)}{x \log (5)}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.04, size = 26, normalized size = 0.90 \begin {gather*} \frac {\log (3) \left (\frac {1}{x}-5 e^{16+\log ^2(x)} x^7 \log (5)\right )}{\log (5)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-Log[3] + E^(16 + Log[x]^2)*x^8*(-35*Log[3]*Log[5] - 10*Log[3]*Log[5]*Log[x]))/(x^2*Log[5]),x]

[Out]

(Log[3]*(x^(-1) - 5*E^(16 + Log[x]^2)*x^7*Log[5]))/Log[5]

________________________________________________________________________________________

fricas [A]  time = 0.55, size = 31, normalized size = 1.07 \begin {gather*} -\frac {5 \, e^{\left (\log \relax (x)^{2} + 8 \, \log \relax (x) + 16\right )} \log \relax (5) \log \relax (3) - \log \relax (3)}{x \log \relax (5)} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-10*log(3)*log(5)*log(x)-35*log(3)*log(5))*exp(log(x)^2+8*log(x)+16)-log(3))/x^2/log(5),x, algorit
hm="fricas")

[Out]

-(5*e^(log(x)^2 + 8*log(x) + 16)*log(5)*log(3) - log(3))/(x*log(5))

________________________________________________________________________________________

giac [A]  time = 0.17, size = 30, normalized size = 1.03 \begin {gather*} -\frac {5 \, x^{8} e^{\left (\log \relax (x)^{2} + 16\right )} \log \relax (5) \log \relax (3) - \log \relax (3)}{x \log \relax (5)} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-10*log(3)*log(5)*log(x)-35*log(3)*log(5))*exp(log(x)^2+8*log(x)+16)-log(3))/x^2/log(5),x, algorit
hm="giac")

[Out]

-(5*x^8*e^(log(x)^2 + 16)*log(5)*log(3) - log(3))/(x*log(5))

________________________________________________________________________________________

maple [A]  time = 0.09, size = 26, normalized size = 0.90

method	result	size
risch	\(-5 \ln \relax (3) x^{7} {\mathrm e}^{\ln \relax (x )^{2}+16}+\frac {\ln \relax (3)}{\ln \relax (5) x}\)	\(26\)
norman	\(\frac {\frac {\ln \relax (3)}{\ln \relax (5)}-5 \ln \relax (3) {\mathrm e}^{\ln \relax (x )^{2}+8 \ln \relax (x )+16}}{x}\)	\(28\)
default	\(\frac {-\frac {5 \ln \relax (3) \ln \relax (5) {\mathrm e}^{\ln \relax (x )^{2}+8 \ln \relax (x )+16}}{x}+\frac {\ln \relax (3)}{x}}{\ln \relax (5)}\)	\(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-10*ln(3)*ln(5)*ln(x)-35*ln(3)*ln(5))*exp(ln(x)^2+8*ln(x)+16)-ln(3))/x^2/ln(5),x,method=_RETURNVERBOSE)

[Out]

-5*ln(3)*x^7*exp(ln(x)^2+16)+1/ln(5)*ln(3)/x

________________________________________________________________________________________

maxima [C]  time = 0.43, size = 94, normalized size = 3.24 \begin {gather*} \frac {35 i \, \sqrt {\pi } \operatorname {erf}\left (i \, \log \relax (x) + \frac {7}{2} i\right ) e^{\frac {15}{4}} \log \relax (5) \log \relax (3) + 5 \, {\left (\frac {7 \, \sqrt {\pi } {\left (\operatorname {erf}\left (\frac {1}{2} \, \sqrt {-{\left (2 \, \log \relax (x) + 7\right )}^{2}}\right ) - 1\right )} {\left (2 \, \log \relax (x) + 7\right )}}{\sqrt {-{\left (2 \, \log \relax (x) + 7\right )}^{2}}} - 2 \, e^{\left (\frac {1}{4} \, {\left (2 \, \log \relax (x) + 7\right )}^{2}\right )}\right )} e^{\frac {15}{4}} \log \relax (5) \log \relax (3) + \frac {2 \, \log \relax (3)}{x}}{2 \, \log \relax (5)} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-10*log(3)*log(5)*log(x)-35*log(3)*log(5))*exp(log(x)^2+8*log(x)+16)-log(3))/x^2/log(5),x, algorit
hm="maxima")

[Out]

1/2*(35*I*sqrt(pi)*erf(I*log(x) + 7/2*I)*e^(15/4)*log(5)*log(3) + 5*(7*sqrt(pi)*(erf(1/2*sqrt(-(2*log(x) + 7)^
2)) - 1)*(2*log(x) + 7)/sqrt(-(2*log(x) + 7)^2) - 2*e^(1/4*(2*log(x) + 7)^2))*e^(15/4)*log(5)*log(3) + 2*log(3
)/x)/log(5)

________________________________________________________________________________________

mupad [B]  time = 4.34, size = 25, normalized size = 0.86 \begin {gather*} \frac {\ln \relax (3)}{x\,\ln \relax (5)}-5\,x^7\,{\mathrm {e}}^{16}\,{\mathrm {e}}^{{\ln \relax (x)}^2}\,\ln \relax (3) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(3) + exp(8*log(x) + log(x)^2 + 16)*(35*log(3)*log(5) + 10*log(3)*log(5)*log(x)))/(x^2*log(5)),x)

[Out]

log(3)/(x*log(5)) - 5*x^7*exp(16)*exp(log(x)^2)*log(3)

________________________________________________________________________________________

sympy [A]  time = 0.34, size = 24, normalized size = 0.83 \begin {gather*} - 5 x^{7} e^{\log {\relax (x )}^{2} + 16} \log {\relax (3 )} + \frac {\log {\relax (3 )}}{x \log {\relax (5 )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-10*ln(3)*ln(5)*ln(x)-35*ln(3)*ln(5))*exp(ln(x)**2+8*ln(x)+16)-ln(3))/x**2/ln(5),x)

[Out]

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

________________________________________________________________________________________