3.11.71 \(\int \frac {e^{2-x} (-141+e^x (-48-x)-3 x+(-3-e^x) \log (3+e^x))}{(46+x+\log (3+e^x)) (138+3 x+e^x (46+x)+(3+e^x) \log (3+e^x))} \, dx\)

Optimal. Leaf size=19 \[ \frac {e^{2-x}}{46+x+\log \left (3+e^x\right )} \]

________________________________________________________________________________________

Rubi [F]  time = 1.85, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {e^{2-x} \left (-141+e^x (-48-x)-3 x+\left (-3-e^x\right ) \log \left (3+e^x\right )\right )}{\left (46+x+\log \left (3+e^x\right )\right ) \left (138+3 x+e^x (46+x)+\left (3+e^x\right ) \log \left (3+e^x\right )\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(E^(2 - x)*(-141 + E^x*(-48 - x) - 3*x + (-3 - E^x)*Log[3 + E^x]))/((46 + x + Log[3 + E^x])*(138 + 3*x + E
^x*(46 + x) + (3 + E^x)*Log[3 + E^x])),x]

[Out]

Defer[Int][E^(2 - x)/(-46 - x - Log[3 + E^x]), x] - 2*Defer[Int][E^(2 - x)/(46 + x + Log[3 + E^x])^2, x] + 3*D
efer[Int][E^(2 - x)/((3 + E^x)*(46 + x + Log[3 + E^x])^2), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {e^{2-x} \left (-3 (47+x)-e^x (48+x)-\left (3+e^x\right ) \log \left (3+e^x\right )\right )}{\left (3+e^x\right ) \left (46+x+\log \left (3+e^x\right )\right )^2} \, dx\\ &=\int \left (\frac {3 e^{2-x}}{\left (3+e^x\right ) \left (46+x+\log \left (3+e^x\right )\right )^2}+\frac {e^{2-x} \left (-48-x-\log \left (3+e^x\right )\right )}{\left (46+x+\log \left (3+e^x\right )\right )^2}\right ) \, dx\\ &=3 \int \frac {e^{2-x}}{\left (3+e^x\right ) \left (46+x+\log \left (3+e^x\right )\right )^2} \, dx+\int \frac {e^{2-x} \left (-48-x-\log \left (3+e^x\right )\right )}{\left (46+x+\log \left (3+e^x\right )\right )^2} \, dx\\ &=3 \int \frac {e^{2-x}}{\left (3+e^x\right ) \left (46+x+\log \left (3+e^x\right )\right )^2} \, dx+\int \left (\frac {e^{2-x}}{-46-x-\log \left (3+e^x\right )}-\frac {2 e^{2-x}}{\left (46+x+\log \left (3+e^x\right )\right )^2}\right ) \, dx\\ &=-\left (2 \int \frac {e^{2-x}}{\left (46+x+\log \left (3+e^x\right )\right )^2} \, dx\right )+3 \int \frac {e^{2-x}}{\left (3+e^x\right ) \left (46+x+\log \left (3+e^x\right )\right )^2} \, dx+\int \frac {e^{2-x}}{-46-x-\log \left (3+e^x\right )} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.43, size = 19, normalized size = 1.00 \begin {gather*} \frac {e^{2-x}}{46+x+\log \left (3+e^x\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^(2 - x)*(-141 + E^x*(-48 - x) - 3*x + (-3 - E^x)*Log[3 + E^x]))/((46 + x + Log[3 + E^x])*(138 + 3
*x + E^x*(46 + x) + (3 + E^x)*Log[3 + E^x])),x]

[Out]

E^(2 - x)/(46 + x + Log[3 + E^x])

________________________________________________________________________________________

fricas [A]  time = 0.80, size = 20, normalized size = 1.05 \begin {gather*} \frac {e^{2}}{{\left (x + 46\right )} e^{x} + e^{x} \log \left (e^{x} + 3\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-exp(x)-3)*log(3+exp(x))+(-x-48)*exp(x)-3*x-141)*exp(-log(log(3+exp(x))+x+46)+2-x)/((3+exp(x))*log
(3+exp(x))+(x+46)*exp(x)+3*x+138),x, algorithm="fricas")

[Out]

e^2/((x + 46)*e^x + e^x*log(e^x + 3))

________________________________________________________________________________________

giac [A]  time = 0.32, size = 22, normalized size = 1.16 \begin {gather*} \frac {e^{2}}{x e^{x} + e^{x} \log \left (e^{x} + 3\right ) + 46 \, e^{x}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-exp(x)-3)*log(3+exp(x))+(-x-48)*exp(x)-3*x-141)*exp(-log(log(3+exp(x))+x+46)+2-x)/((3+exp(x))*log
(3+exp(x))+(x+46)*exp(x)+3*x+138),x, algorithm="giac")

[Out]

e^2/(x*e^x + e^x*log(e^x + 3) + 46*e^x)

________________________________________________________________________________________

maple [A]  time = 0.04, size = 18, normalized size = 0.95

method	result	size
risch	\(\frac {{\mathrm e}^{2-x}}{\ln \left (3+{\mathrm e}^{x}\right )+x +46}\)	\(18\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-exp(x)-3)*ln(3+exp(x))+(-x-48)*exp(x)-3*x-141)*exp(-ln(ln(3+exp(x))+x+46)+2-x)/((3+exp(x))*ln(3+exp(x))
+(x+46)*exp(x)+3*x+138),x,method=_RETURNVERBOSE)

[Out]

1/(ln(3+exp(x))+x+46)*exp(2-x)

________________________________________________________________________________________

maxima [A]  time = 0.52, size = 20, normalized size = 1.05 \begin {gather*} \frac {e^{2}}{{\left (x + 46\right )} e^{x} + e^{x} \log \left (e^{x} + 3\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-exp(x)-3)*log(3+exp(x))+(-x-48)*exp(x)-3*x-141)*exp(-log(log(3+exp(x))+x+46)+2-x)/((3+exp(x))*log
(3+exp(x))+(x+46)*exp(x)+3*x+138),x, algorithm="maxima")

[Out]

e^2/((x + 46)*e^x + e^x*log(e^x + 3))

________________________________________________________________________________________

mupad [B]  time = 1.25, size = 17, normalized size = 0.89 \begin {gather*} \frac {{\mathrm {e}}^{-x}\,{\mathrm {e}}^2}{x+\ln \left ({\mathrm {e}}^x+3\right )+46} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(2 - log(x + log(exp(x) + 3) + 46) - x)*(3*x + exp(x)*(x + 48) + log(exp(x) + 3)*(exp(x) + 3) + 141))
/(3*x + exp(x)*(x + 46) + log(exp(x) + 3)*(exp(x) + 3) + 138),x)

[Out]

(exp(-x)*exp(2))/(x + log(exp(x) + 3) + 46)

________________________________________________________________________________________

sympy [A]  time = 0.20, size = 22, normalized size = 1.16 \begin {gather*} \frac {e^{2}}{x e^{x} + e^{x} \log {\left (e^{x} + 3 \right )} + 46 e^{x}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-exp(x)-3)*ln(3+exp(x))+(-x-48)*exp(x)-3*x-141)*exp(-ln(ln(3+exp(x))+x+46)+2-x)/((3+exp(x))*ln(3+e
xp(x))+(x+46)*exp(x)+3*x+138),x)

[Out]

exp(2)/(x*exp(x) + exp(x)*log(exp(x) + 3) + 46*exp(x))

________________________________________________________________________________________