3.41.22 \(\int \frac {3-18 x+e^{25-11 x+x^2} (11 x-2 x^2)-18 x \log (x)}{x} \, dx\) [4022]

Optimal. Leaf size=22 \[ -e^{(-5+x)^2-x}+(3-18 x) \log (x) \]

[Out]

ln(x)*(-18*x+3)-exp((-5+x)^2-x)

________________________________________________________________________________________

Rubi [A]
time = 0.05, antiderivative size = 22, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 4, integrand size = 34, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.118, Rules used = {14, 2268, 45, 2332} \begin {gather*} -e^{x^2-11 x+25}-18 x \log (x)+3 \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(3 - 18*x + E^(25 - 11*x + x^2)*(11*x - 2*x^2) - 18*x*Log[x])/x,x]

[Out]

-E^(25 - 11*x + x^2) + 3*Log[x] - 18*x*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 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 2268

Int[(F_)^((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)*((d_.) + (e_.)*(x_)), x_Symbol] :> Simp[e*(F^(a + b*x + c*x^2)/(2
*c*Log[F])), x] /; FreeQ[{F, a, b, c, d, e}, x] && EqQ[b*e - 2*c*d, 0]

Rule 2332

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-e^{25-11 x+x^2} (-11+2 x)-\frac {3 (-1+6 x+6 x \log (x))}{x}\right ) \, dx\\ &=-\left (3 \int \frac {-1+6 x+6 x \log (x)}{x} \, dx\right )-\int e^{25-11 x+x^2} (-11+2 x) \, dx\\ &=-e^{25-11 x+x^2}-3 \int \left (\frac {-1+6 x}{x}+6 \log (x)\right ) \, dx\\ &=-e^{25-11 x+x^2}-3 \int \frac {-1+6 x}{x} \, dx-18 \int \log (x) \, dx\\ &=-e^{25-11 x+x^2}+18 x-18 x \log (x)-3 \int \left (6-\frac {1}{x}\right ) \, dx\\ &=-e^{25-11 x+x^2}+3 \log (x)-18 x \log (x)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.05, size = 22, normalized size = 1.00 \begin {gather*} -e^{25-11 x+x^2}+3 \log (x)-18 x \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(3 - 18*x + E^(25 - 11*x + x^2)*(11*x - 2*x^2) - 18*x*Log[x])/x,x]

[Out]

-E^(25 - 11*x + x^2) + 3*Log[x] - 18*x*Log[x]

________________________________________________________________________________________

Maple [A]
time = 0.13, size = 22, normalized size = 1.00

method result size
default \(-{\mathrm e}^{x^{2}-11 x +25}+3 \ln \left (x \right )-18 x \ln \left (x \right )\) \(22\)
norman \(-{\mathrm e}^{x^{2}-11 x +25}+3 \ln \left (x \right )-18 x \ln \left (x \right )\) \(22\)
risch \(-{\mathrm e}^{x^{2}-11 x +25}+3 \ln \left (x \right )-18 x \ln \left (x \right )\) \(22\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-18*x*ln(x)+(-2*x^2+11*x)*exp(x^2-11*x+25)-18*x+3)/x,x,method=_RETURNVERBOSE)

[Out]

-exp(x^2-11*x+25)+3*ln(x)-18*x*ln(x)

________________________________________________________________________________________

Maxima [C] Result contains higher order function than in optimal. Order 4 vs. order 3.
time = 0.33, size = 77, normalized size = 3.50 \begin {gather*} -\frac {11}{2} i \, \sqrt {\pi } \operatorname {erf}\left (i \, x - \frac {11}{2} i\right ) e^{\left (-\frac {21}{4}\right )} - \frac {1}{2} \, {\left (\frac {11 \, \sqrt {\pi } {\left (2 \, x - 11\right )} {\left (\operatorname {erf}\left (\frac {1}{2} \, \sqrt {-{\left (2 \, x - 11\right )}^{2}}\right ) - 1\right )}}{\sqrt {-{\left (2 \, x - 11\right )}^{2}}} + 2 \, e^{\left (\frac {1}{4} \, {\left (2 \, x - 11\right )}^{2}\right )}\right )} e^{\left (-\frac {21}{4}\right )} - 18 \, x \log \left (x\right ) + 3 \, \log \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-18*x*log(x)+(-2*x^2+11*x)*exp(x^2-11*x+25)-18*x+3)/x,x, algorithm="maxima")

[Out]

-11/2*I*sqrt(pi)*erf(I*x - 11/2*I)*e^(-21/4) - 1/2*(11*sqrt(pi)*(2*x - 11)*(erf(1/2*sqrt(-(2*x - 11)^2)) - 1)/
sqrt(-(2*x - 11)^2) + 2*e^(1/4*(2*x - 11)^2))*e^(-21/4) - 18*x*log(x) + 3*log(x)

________________________________________________________________________________________

Fricas [A]
time = 0.34, size = 21, normalized size = 0.95 \begin {gather*} -3 \, {\left (6 \, x - 1\right )} \log \left (x\right ) - e^{\left (x^{2} - 11 \, x + 25\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-18*x*log(x)+(-2*x^2+11*x)*exp(x^2-11*x+25)-18*x+3)/x,x, algorithm="fricas")

[Out]

-3*(6*x - 1)*log(x) - e^(x^2 - 11*x + 25)

________________________________________________________________________________________

Sympy [A]
time = 0.08, size = 20, normalized size = 0.91 \begin {gather*} - 18 x \log {\left (x \right )} - e^{x^{2} - 11 x + 25} + 3 \log {\left (x \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-18*x*ln(x)+(-2*x**2+11*x)*exp(x**2-11*x+25)-18*x+3)/x,x)

[Out]

-18*x*log(x) - exp(x**2 - 11*x + 25) + 3*log(x)

________________________________________________________________________________________

Giac [A]
time = 0.42, size = 21, normalized size = 0.95 \begin {gather*} -18 \, x \log \left (x\right ) - e^{\left (x^{2} - 11 \, x + 25\right )} + 3 \, \log \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-18*x*log(x)+(-2*x^2+11*x)*exp(x^2-11*x+25)-18*x+3)/x,x, algorithm="giac")

[Out]

-18*x*log(x) - e^(x^2 - 11*x + 25) + 3*log(x)

________________________________________________________________________________________

Mupad [B]
time = 3.05, size = 22, normalized size = 1.00 \begin {gather*} 3\,\ln \left (x\right )-18\,x\,\ln \left (x\right )-{\mathrm {e}}^{-11\,x}\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{25} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(18*x - exp(x^2 - 11*x + 25)*(11*x - 2*x^2) + 18*x*log(x) - 3)/x,x)

[Out]

3*log(x) - 18*x*log(x) - exp(-11*x)*exp(x^2)*exp(25)

________________________________________________________________________________________