3.4.49 \(\int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} (-15+e^{\frac {2 (3+e^x x)}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} (-39-2 x+3 e^x x^2))}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 (3+e^x x)}{x}} x^3} \, dx\) [349]

3.4.49.1 Optimal result
3.4.49.2 Mathematica [A] (verified)
3.4.49.3 Rubi [F]
3.4.49.4 Maple [A] (verified)
3.4.49.5 Fricas [A] (verification not implemented)
3.4.49.6 Sympy [A] (verification not implemented)
3.4.49.7 Maxima [F]
3.4.49.8 Giac [B] (verification not implemented)
3.4.49.9 Mupad [B] (verification not implemented)

3.4.49.1 Optimal result

Integrand size = 137, antiderivative size = 37 \[ \int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} \left (-15+e^{\frac {2 \left (3+e^x x\right )}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} \left (-39-2 x+3 e^x x^2\right )\right )}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 \left (3+e^x x\right )}{x}} x^3} \, dx=\frac {e^{\frac {3 \left (5-\frac {x}{1+e^{\frac {3+e^x x}{x}}}\right )}{x}}-x}{x} \]

output
(exp(3/x*(5-x/(exp((exp(x)*x+3)/x)+1)))-x)/x
 
3.4.49.2 Mathematica [A] (verified)

Time = 0.28 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.78 \[ \int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} \left (-15+e^{\frac {2 \left (3+e^x x\right )}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} \left (-39-2 x+3 e^x x^2\right )\right )}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 \left (3+e^x x\right )}{x}} x^3} \, dx=\frac {e^{-\frac {3}{1+e^{e^x+\frac {3}{x}}}+\frac {15}{x}}}{x} \]

input
Integrate[(E^((15 + 15*E^((3 + E^x*x)/x) - 3*x)/(x + E^((3 + E^x*x)/x)*x)) 
*(-15 + E^((2*(3 + E^x*x))/x)*(-15 - x) - x + E^((3 + E^x*x)/x)*(-39 - 2*x 
 + 3*E^x*x^2)))/(x^3 + 2*E^((3 + E^x*x)/x)*x^3 + E^((2*(3 + E^x*x))/x)*x^3 
),x]
 
output
E^(-3/(1 + E^(E^x + 3/x)) + 15/x)/x
 
3.4.49.3 Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\left (e^{\frac {e^x x+3}{x}} \left (3 e^x x^2-2 x-39\right )+e^{\frac {2 \left (e^x x+3\right )}{x}} (-x-15)-x-15\right ) \exp \left (\frac {-3 x+15 e^{\frac {e^x x+3}{x}}+15}{e^{\frac {e^x x+3}{x}} x+x}\right )}{2 e^{\frac {e^x x+3}{x}} x^3+e^{\frac {2 \left (e^x x+3\right )}{x}} x^3+x^3} \, dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {\left (e^{\frac {e^x x+3}{x}} \left (3 e^x x^2-2 x-39\right )+e^{\frac {2 \left (e^x x+3\right )}{x}} (-x-15)-x-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{\frac {e^x x+3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{\frac {e^x x+3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{\frac {e^x x+3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {39 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{\frac {e^x x+3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{\frac {e^x x+3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}-\frac {2 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{\frac {e^x x+3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{\frac {e^x x+3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (3 e^{x+e^x+\frac {3}{x}} x^2-x-e^{2 e^x+\frac {6}{x}} (x+15)-e^{e^x+\frac {3}{x}} (2 x+39)-15\right ) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(-x-15) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+\frac {2 \left (e^x x+3\right )}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {(2 x+39) \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {15 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^3}-\frac {\exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x^2}+\frac {3 \exp \left (\frac {3 \left (-x+5 e^{e^x+\frac {3}{x}}+5\right )}{e^{e^x+\frac {3}{x}} x+x}+e^x+x+\frac {3}{x}\right )}{\left (e^{e^x+\frac {3}{x}}+1\right )^2 x}\right )dx\)

input
Int[(E^((15 + 15*E^((3 + E^x*x)/x) - 3*x)/(x + E^((3 + E^x*x)/x)*x))*(-15 
+ E^((2*(3 + E^x*x))/x)*(-15 - x) - x + E^((3 + E^x*x)/x)*(-39 - 2*x + 3*E 
^x*x^2)))/(x^3 + 2*E^((3 + E^x*x)/x)*x^3 + E^((2*(3 + E^x*x))/x)*x^3),x]
 
output
$Aborted
 

3.4.49.3.1 Defintions of rubi rules used

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

rule 7292
Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =! 
= u]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.4.49.4 Maple [A] (verified)

Time = 3.05 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.14

method result size
risch \(\frac {{\mathrm e}^{-\frac {3 \left (-5 \,{\mathrm e}^{\frac {{\mathrm e}^{x} x +3}{x}}-5+x \right )}{x \left ({\mathrm e}^{\frac {{\mathrm e}^{x} x +3}{x}}+1\right )}}}{x}\) \(42\)
parallelrisch \(\frac {{\mathrm e}^{\frac {15 \,{\mathrm e}^{\frac {{\mathrm e}^{x} x +3}{x}}+15-3 x}{x \left ({\mathrm e}^{\frac {{\mathrm e}^{x} x +3}{x}}+1\right )}}}{x}\) \(44\)

input
int(((-x-15)*exp((exp(x)*x+3)/x)^2+(3*exp(x)*x^2-2*x-39)*exp((exp(x)*x+3)/ 
x)-x-15)*exp((15*exp((exp(x)*x+3)/x)+15-3*x)/(x*exp((exp(x)*x+3)/x)+x))/(x 
^3*exp((exp(x)*x+3)/x)^2+2*x^3*exp((exp(x)*x+3)/x)+x^3),x,method=_RETURNVE 
RBOSE)
 
output
1/x*exp(-3*(-5*exp((exp(x)*x+3)/x)-5+x)/x/(exp((exp(x)*x+3)/x)+1))
 
3.4.49.5 Fricas [A] (verification not implemented)

Time = 0.23 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.08 \[ \int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} \left (-15+e^{\frac {2 \left (3+e^x x\right )}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} \left (-39-2 x+3 e^x x^2\right )\right )}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 \left (3+e^x x\right )}{x}} x^3} \, dx=\frac {e^{\left (-\frac {3 \, {\left (x - 5 \, e^{\left (\frac {x e^{x} + 3}{x}\right )} - 5\right )}}{x e^{\left (\frac {x e^{x} + 3}{x}\right )} + x}\right )}}{x} \]

input
integrate(((-x-15)*exp((exp(x)*x+3)/x)^2+(3*exp(x)*x^2-2*x-39)*exp((exp(x) 
*x+3)/x)-x-15)*exp((15*exp((exp(x)*x+3)/x)+15-3*x)/(x*exp((exp(x)*x+3)/x)+ 
x))/(x^3*exp((exp(x)*x+3)/x)^2+2*x^3*exp((exp(x)*x+3)/x)+x^3),x, algorithm 
=\
 
output
e^(-3*(x - 5*e^((x*e^x + 3)/x) - 5)/(x*e^((x*e^x + 3)/x) + x))/x
 
3.4.49.6 Sympy [A] (verification not implemented)

Time = 0.74 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.86 \[ \int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} \left (-15+e^{\frac {2 \left (3+e^x x\right )}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} \left (-39-2 x+3 e^x x^2\right )\right )}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 \left (3+e^x x\right )}{x}} x^3} \, dx=\frac {e^{\frac {- 3 x + 15 e^{\frac {x e^{x} + 3}{x}} + 15}{x e^{\frac {x e^{x} + 3}{x}} + x}}}{x} \]

input
integrate(((-x-15)*exp((exp(x)*x+3)/x)**2+(3*exp(x)*x**2-2*x-39)*exp((exp( 
x)*x+3)/x)-x-15)*exp((15*exp((exp(x)*x+3)/x)+15-3*x)/(x*exp((exp(x)*x+3)/x 
)+x))/(x**3*exp((exp(x)*x+3)/x)**2+2*x**3*exp((exp(x)*x+3)/x)+x**3),x)
 
output
exp((-3*x + 15*exp((x*exp(x) + 3)/x) + 15)/(x*exp((x*exp(x) + 3)/x) + x))/ 
x
 
3.4.49.7 Maxima [F]

\[ \int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} \left (-15+e^{\frac {2 \left (3+e^x x\right )}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} \left (-39-2 x+3 e^x x^2\right )\right )}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 \left (3+e^x x\right )}{x}} x^3} \, dx=\int { -\frac {{\left ({\left (x + 15\right )} e^{\left (\frac {2 \, {\left (x e^{x} + 3\right )}}{x}\right )} - {\left (3 \, x^{2} e^{x} - 2 \, x - 39\right )} e^{\left (\frac {x e^{x} + 3}{x}\right )} + x + 15\right )} e^{\left (-\frac {3 \, {\left (x - 5 \, e^{\left (\frac {x e^{x} + 3}{x}\right )} - 5\right )}}{x e^{\left (\frac {x e^{x} + 3}{x}\right )} + x}\right )}}{x^{3} e^{\left (\frac {2 \, {\left (x e^{x} + 3\right )}}{x}\right )} + 2 \, x^{3} e^{\left (\frac {x e^{x} + 3}{x}\right )} + x^{3}} \,d x } \]

input
integrate(((-x-15)*exp((exp(x)*x+3)/x)^2+(3*exp(x)*x^2-2*x-39)*exp((exp(x) 
*x+3)/x)-x-15)*exp((15*exp((exp(x)*x+3)/x)+15-3*x)/(x*exp((exp(x)*x+3)/x)+ 
x))/(x^3*exp((exp(x)*x+3)/x)^2+2*x^3*exp((exp(x)*x+3)/x)+x^3),x, algorithm 
=\
 
output
-integrate(((x + 15)*e^(2*(x*e^x + 3)/x) - (3*x^2*e^x - 2*x - 39)*e^((x*e^ 
x + 3)/x) + x + 15)*e^(-3*(x - 5*e^((x*e^x + 3)/x) - 5)/(x*e^((x*e^x + 3)/ 
x) + x))/(x^3*e^(2*(x*e^x + 3)/x) + 2*x^3*e^((x*e^x + 3)/x) + x^3), x)
 
3.4.49.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 72 vs. \(2 (34) = 68\).

Time = 0.61 (sec) , antiderivative size = 72, normalized size of antiderivative = 1.95 \[ \int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} \left (-15+e^{\frac {2 \left (3+e^x x\right )}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} \left (-39-2 x+3 e^x x^2\right )\right )}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 \left (3+e^x x\right )}{x}} x^3} \, dx=\frac {e^{\left (\frac {x e^{\left (x + \frac {x e^{x} + 3}{x}\right )} + x e^{x} - 3 \, x + 18 \, e^{\left (\frac {x e^{x} + 3}{x}\right )} + 18}{x e^{\left (\frac {x e^{x} + 3}{x}\right )} + x} - \frac {x e^{x} + 3}{x}\right )}}{x} \]

input
integrate(((-x-15)*exp((exp(x)*x+3)/x)^2+(3*exp(x)*x^2-2*x-39)*exp((exp(x) 
*x+3)/x)-x-15)*exp((15*exp((exp(x)*x+3)/x)+15-3*x)/(x*exp((exp(x)*x+3)/x)+ 
x))/(x^3*exp((exp(x)*x+3)/x)^2+2*x^3*exp((exp(x)*x+3)/x)+x^3),x, algorithm 
=\
 
output
e^((x*e^(x + (x*e^x + 3)/x) + x*e^x - 3*x + 18*e^((x*e^x + 3)/x) + 18)/(x* 
e^((x*e^x + 3)/x) + x) - (x*e^x + 3)/x)/x
 
3.4.49.9 Mupad [B] (verification not implemented)

Time = 9.79 (sec) , antiderivative size = 66, normalized size of antiderivative = 1.78 \[ \int \frac {e^{\frac {15+15 e^{\frac {3+e^x x}{x}}-3 x}{x+e^{\frac {3+e^x x}{x}} x}} \left (-15+e^{\frac {2 \left (3+e^x x\right )}{x}} (-15-x)-x+e^{\frac {3+e^x x}{x}} \left (-39-2 x+3 e^x x^2\right )\right )}{x^3+2 e^{\frac {3+e^x x}{x}} x^3+e^{\frac {2 \left (3+e^x x\right )}{x}} x^3} \, dx=\frac {{\mathrm {e}}^{\frac {15\,{\mathrm {e}}^{{\mathrm {e}}^x}\,{\mathrm {e}}^{3/x}}{x+x\,{\mathrm {e}}^{{\mathrm {e}}^x}\,{\mathrm {e}}^{3/x}}}\,{\mathrm {e}}^{\frac {15}{x+x\,{\mathrm {e}}^{{\mathrm {e}}^x}\,{\mathrm {e}}^{3/x}}}\,{\mathrm {e}}^{-\frac {3}{{\mathrm {e}}^{{\mathrm {e}}^x}\,{\mathrm {e}}^{3/x}+1}}}{x} \]

input
int(-(exp((15*exp((x*exp(x) + 3)/x) - 3*x + 15)/(x + x*exp((x*exp(x) + 3)/ 
x)))*(x + exp((x*exp(x) + 3)/x)*(2*x - 3*x^2*exp(x) + 39) + exp((2*(x*exp( 
x) + 3))/x)*(x + 15) + 15))/(x^3 + 2*x^3*exp((x*exp(x) + 3)/x) + x^3*exp(( 
2*(x*exp(x) + 3))/x)),x)
 
output
(exp((15*exp(exp(x))*exp(3/x))/(x + x*exp(exp(x))*exp(3/x)))*exp(15/(x + x 
*exp(exp(x))*exp(3/x)))*exp(-3/(exp(exp(x))*exp(3/x) + 1)))/x