3.55.80 \(\int \frac {25-405 x+40 x^2+e^x (-x+7 x^2+8 x^3)}{-x+8 x^2} \, dx\)

Optimal. Leaf size=23 \[ e^x x+5 \left (8+x-5 \log \left (-2 x+16 x^2\right )\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.27, antiderivative size = 28, normalized size of antiderivative = 1.22, number of steps used = 7, number of rules used = 5, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {1593, 6742, 2176, 2194, 893} \begin {gather*} 5 x-e^x+e^x (x+1)-25 \log (1-8 x)-25 \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(25 - 405*x + 40*x^2 + E^x*(-x + 7*x^2 + 8*x^3))/(-x + 8*x^2),x]

[Out]

-E^x + 5*x + E^x*(1 + x) - 25*Log[1 - 8*x] - 25*Log[x]

Rule 893

Int[((d_.) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_))^(n_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :
> Int[ExpandIntegrand[(d + e*x)^m*(f + g*x)^n*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] &
& NeQ[e*f - d*g, 0] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0] && IntegerQ[p] && ((EqQ[p, 1] && I
ntegersQ[m, n]) || (ILtQ[m, 0] && ILtQ[n, 0]))

Rule 1593

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^(q - p))^n, x] /; F
reeQ[{a, b, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rule 2176

Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[((c + d*x)^m
*(b*F^(g*(e + f*x)))^n)/(f*g*n*Log[F]), x] - Dist[(d*m)/(f*g*n*Log[F]), Int[(c + d*x)^(m - 1)*(b*F^(g*(e + f*x
)))^n, x], x] /; FreeQ[{F, b, c, d, e, f, g, n}, x] && GtQ[m, 0] && IntegerQ[2*m] &&  !$UseGamma === True

Rule 2194

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

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

________________________________________________________________________________________

Mathematica [A]  time = 0.07, size = 21, normalized size = 0.91 \begin {gather*} 5 x+e^x x-25 \log (1-8 x)-25 \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(25 - 405*x + 40*x^2 + E^x*(-x + 7*x^2 + 8*x^3))/(-x + 8*x^2),x]

[Out]

5*x + E^x*x - 25*Log[1 - 8*x] - 25*Log[x]

________________________________________________________________________________________

fricas [A]  time = 0.55, size = 20, normalized size = 0.87 \begin {gather*} x e^{x} + 5 \, x - 25 \, \log \left (8 \, x^{2} - x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x^3+7*x^2-x)*exp(x)+40*x^2-405*x+25)/(8*x^2-x),x, algorithm="fricas")

[Out]

x*e^x + 5*x - 25*log(8*x^2 - x)

________________________________________________________________________________________

giac [A]  time = 0.13, size = 20, normalized size = 0.87 \begin {gather*} x e^{x} + 5 \, x - 25 \, \log \left (8 \, x - 1\right ) - 25 \, \log \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x^3+7*x^2-x)*exp(x)+40*x^2-405*x+25)/(8*x^2-x),x, algorithm="giac")

[Out]

x*e^x + 5*x - 25*log(8*x - 1) - 25*log(x)

________________________________________________________________________________________

maple [A]  time = 0.24, size = 21, normalized size = 0.91

method	result	size
default	\(-25 \ln \left (8 x -1\right )-25 \ln \relax (x )+5 x +{\mathrm e}^{x} x\)	\(21\)
norman	\(-25 \ln \left (8 x -1\right )-25 \ln \relax (x )+5 x +{\mathrm e}^{x} x\)	\(21\)
risch	\(5 x -25 \ln \left (8 x^{2}-x \right )+{\mathrm e}^{x} x\)	\(21\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((8*x^3+7*x^2-x)*exp(x)+40*x^2-405*x+25)/(8*x^2-x),x,method=_RETURNVERBOSE)

[Out]

-25*ln(8*x-1)-25*ln(x)+5*x+exp(x)*x

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} x e^{x} + \frac {1}{8} \, e^{\frac {1}{8}} E_{1}\left (-x + \frac {1}{8}\right ) + 5 \, x + \int \frac {e^{x}}{8 \, x - 1}\,{d x} - 25 \, \log \left (8 \, x - 1\right ) - 25 \, \log \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x^3+7*x^2-x)*exp(x)+40*x^2-405*x+25)/(8*x^2-x),x, algorithm="maxima")

[Out]

x*e^x + 1/8*e^(1/8)*exp_integral_e(1, -x + 1/8) + 5*x + integrate(e^x/(8*x - 1), x) - 25*log(8*x - 1) - 25*log
(x)

________________________________________________________________________________________

mupad [B]  time = 0.08, size = 18, normalized size = 0.78 \begin {gather*} 5\,x-25\,\ln \left (x-\frac {1}{8}\right )-25\,\ln \relax (x)+x\,{\mathrm {e}}^x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(40*x^2 - 405*x + exp(x)*(7*x^2 - x + 8*x^3) + 25)/(x - 8*x^2),x)

[Out]

5*x - 25*log(x - 1/8) - 25*log(x) + x*exp(x)

________________________________________________________________________________________

sympy [A]  time = 0.13, size = 17, normalized size = 0.74 \begin {gather*} x e^{x} + 5 x - 25 \log {\left (8 x^{2} - x \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*x**3+7*x**2-x)*exp(x)+40*x**2-405*x+25)/(8*x**2-x),x)

[Out]

x*exp(x) + 5*x - 25*log(8*x**2 - x)

________________________________________________________________________________________