3.87.68 \(\int \frac {5832+440 e^x+8 e^{2 x}+e^{2 e^{5 e^x}+5 e^x} (91125 e^x+6750 e^{2 x}+125 e^{3 x})}{5832+432 e^x+8 e^{2 x}} \, dx\)

Optimal. Leaf size=26 \[ \frac {25}{16} e^{2 e^{5 e^x}}-\frac {1}{27+e^x}+x \]

________________________________________________________________________________________

Rubi [A]  time = 0.49, antiderivative size = 26, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 5, integrand size = 69, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.072, Rules used = {2282, 12, 6742, 2194, 893} \begin {gather*} x+\frac {25}{16} e^{2 e^{5 e^x}}-\frac {1}{e^x+27} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(5832 + 440*E^x + 8*E^(2*x) + E^(2*E^(5*E^x) + 5*E^x)*(91125*E^x + 6750*E^(2*x) + 125*E^(3*x)))/(5832 + 43
2*E^x + 8*E^(2*x)),x]

[Out]

(25*E^(2*E^(5*E^x)))/16 - (27 + E^x)^(-1) + x

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, 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 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 2282

Int[u_, x_Symbol] :> With[{v = FunctionOfExponential[u, x]}, Dist[v/D[v, x], Subst[Int[FunctionOfExponentialFu
nction[u, x]/x, x], x, v], x]] /; FunctionOfExponentialQ[u, x] &&  !MatchQ[u, (w_)*((a_.)*(v_)^(n_))^(m_) /; F
reeQ[{a, m, n}, x] && IntegerQ[m*n]] &&  !MatchQ[u, E^((c_.)*((a_.) + (b_.)*x))*(F_)[v_] /; FreeQ[{a, b, c}, x
] && InverseFunctionQ[F[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} &=\operatorname {Subst}\left (\int \frac {5832+440 x+8 x^2+125 e^{2 e^{5 x}+5 x} x (27+x)^2}{8 x (27+x)^2} \, dx,x,e^x\right )\\ &=\frac {1}{8} \operatorname {Subst}\left (\int \frac {5832+440 x+8 x^2+125 e^{2 e^{5 x}+5 x} x (27+x)^2}{x (27+x)^2} \, dx,x,e^x\right )\\ &=\frac {1}{8} \operatorname {Subst}\left (\int \left (125 e^{2 e^{5 x}+5 x}+\frac {8 \left (729+55 x+x^2\right )}{x (27+x)^2}\right ) \, dx,x,e^x\right )\\ &=\frac {125}{8} \operatorname {Subst}\left (\int e^{2 e^{5 x}+5 x} \, dx,x,e^x\right )+\operatorname {Subst}\left (\int \frac {729+55 x+x^2}{x (27+x)^2} \, dx,x,e^x\right )\\ &=\frac {25}{8} \operatorname {Subst}\left (\int e^{2 x} \, dx,x,e^{5 e^x}\right )+\operatorname {Subst}\left (\int \left (\frac {1}{x}+\frac {1}{(27+x)^2}\right ) \, dx,x,e^x\right )\\ &=\frac {25}{16} e^{2 e^{5 e^x}}-\frac {1}{27+e^x}+x\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.14, size = 32, normalized size = 1.23 \begin {gather*} \frac {1}{8} \left (\frac {25}{2} e^{2 e^{5 e^x}}-\frac {8}{27+e^x}+8 x\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(5832 + 440*E^x + 8*E^(2*x) + E^(2*E^(5*E^x) + 5*E^x)*(91125*E^x + 6750*E^(2*x) + 125*E^(3*x)))/(583
2 + 432*E^x + 8*E^(2*x)),x]

[Out]

((25*E^(2*E^(5*E^x)))/2 - 8/(27 + E^x) + 8*x)/8

________________________________________________________________________________________

fricas [B]  time = 0.56, size = 49, normalized size = 1.88 \begin {gather*} \frac {{\left (16 \, {\left (x e^{x} + 27 \, x - 1\right )} e^{\left (5 \, e^{x}\right )} + 25 \, {\left (e^{x} + 27\right )} e^{\left (5 \, e^{x} + 2 \, e^{\left (5 \, e^{x}\right )}\right )}\right )} e^{\left (-5 \, e^{x}\right )}}{16 \, {\left (e^{x} + 27\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((125*exp(x)^3+6750*exp(x)^2+91125*exp(x))*exp(5*exp(x))*exp(exp(5*exp(x)))^2+8*exp(x)^2+440*exp(x)+
5832)/(8*exp(x)^2+432*exp(x)+5832),x, algorithm="fricas")

[Out]

1/16*(16*(x*e^x + 27*x - 1)*e^(5*e^x) + 25*(e^x + 27)*e^(5*e^x + 2*e^(5*e^x)))*e^(-5*e^x)/(e^x + 27)

________________________________________________________________________________________

giac [B]  time = 0.17, size = 76, normalized size = 2.92 \begin {gather*} \frac {16 \, x e^{\left (x + 5 \, e^{x}\right )} + 432 \, x e^{\left (5 \, e^{x}\right )} + 25 \, e^{\left (x + 5 \, e^{x} + 2 \, e^{\left (5 \, e^{x}\right )}\right )} - 16 \, e^{\left (5 \, e^{x}\right )} + 675 \, e^{\left (5 \, e^{x} + 2 \, e^{\left (5 \, e^{x}\right )}\right )}}{16 \, {\left (e^{\left (x + 5 \, e^{x}\right )} + 27 \, e^{\left (5 \, e^{x}\right )}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((125*exp(x)^3+6750*exp(x)^2+91125*exp(x))*exp(5*exp(x))*exp(exp(5*exp(x)))^2+8*exp(x)^2+440*exp(x)+
5832)/(8*exp(x)^2+432*exp(x)+5832),x, algorithm="giac")

[Out]

1/16*(16*x*e^(x + 5*e^x) + 432*x*e^(5*e^x) + 25*e^(x + 5*e^x + 2*e^(5*e^x)) - 16*e^(5*e^x) + 675*e^(5*e^x + 2*
e^(5*e^x)))/(e^(x + 5*e^x) + 27*e^(5*e^x))

________________________________________________________________________________________

maple [A]  time = 0.12, size = 21, normalized size = 0.81

method	result	size
risch	\(x -\frac {1}{27+{\mathrm e}^{x}}+\frac {25 \,{\mathrm e}^{2 \,{\mathrm e}^{5 \,{\mathrm e}^{x}}}}{16}\)	\(21\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((125*exp(x)^3+6750*exp(x)^2+91125*exp(x))*exp(5*exp(x))*exp(exp(5*exp(x)))^2+8*exp(x)^2+440*exp(x)+5832)/
(8*exp(x)^2+432*exp(x)+5832),x,method=_RETURNVERBOSE)

[Out]

x-1/(27+exp(x))+25/16*exp(2*exp(5*exp(x)))

________________________________________________________________________________________

maxima [A]  time = 0.41, size = 20, normalized size = 0.77 \begin {gather*} x - \frac {1}{e^{x} + 27} + \frac {25}{16} \, e^{\left (2 \, e^{\left (5 \, e^{x}\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((125*exp(x)^3+6750*exp(x)^2+91125*exp(x))*exp(5*exp(x))*exp(exp(5*exp(x)))^2+8*exp(x)^2+440*exp(x)+
5832)/(8*exp(x)^2+432*exp(x)+5832),x, algorithm="maxima")

[Out]

x - 1/(e^x + 27) + 25/16*e^(2*e^(5*e^x))

________________________________________________________________________________________

mupad [B]  time = 5.55, size = 20, normalized size = 0.77 \begin {gather*} x+\frac {25\,{\mathrm {e}}^{2\,{\mathrm {e}}^{5\,{\mathrm {e}}^x}}}{16}-\frac {1}{{\mathrm {e}}^x+27} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((8*exp(2*x) + 440*exp(x) + exp(2*exp(5*exp(x)))*exp(5*exp(x))*(6750*exp(2*x) + 125*exp(3*x) + 91125*exp(x)
) + 5832)/(8*exp(2*x) + 432*exp(x) + 5832),x)

[Out]

x + (25*exp(2*exp(5*exp(x))))/16 - 1/(exp(x) + 27)

________________________________________________________________________________________

sympy [A]  time = 0.29, size = 20, normalized size = 0.77 \begin {gather*} x + \frac {25 e^{2 e^{5 e^{x}}}}{16} - \frac {1}{e^{x} + 27} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((125*exp(x)**3+6750*exp(x)**2+91125*exp(x))*exp(5*exp(x))*exp(exp(5*exp(x)))**2+8*exp(x)**2+440*exp
(x)+5832)/(8*exp(x)**2+432*exp(x)+5832),x)

[Out]

x + 25*exp(2*exp(5*exp(x)))/16 - 1/(exp(x) + 27)

________________________________________________________________________________________