Integrand size = 78, antiderivative size = 27 \[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx=-5+e^{\frac {4 e^{2+4 e^{e^x}} (1+x)^2}{(3+x)^2}} \] Output:
exp(exp(1+ln(2/(3+x)*(1+x))+2*exp(exp(x)))^2)-5
Time = 1.67 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.93 \[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx=e^{\frac {4 e^{2+4 e^{e^x}} (1+x)^2}{(3+x)^2}} \] Input:
Integrate[(E^(2 + 4*E^E^x + (E^(2 + 4*E^E^x)*(2 + 2*x)^2)/(3 + x)^2)*(2 + 2*x)^2*(4 + E^(E^x + x)*(12 + 16*x + 4*x^2)))/((3 + x)^2*(3 + 4*x + x^2)), x]
Output:
E^((4*E^(2 + 4*E^E^x)*(1 + x)^2)/(3 + x)^2)
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 {(2 x+2)^2 \left (e^{x+e^x} \left (4 x^2+16 x+12\right )+4\right ) \exp \left (\frac {e^{4 e^{e^x}+2} (2 x+2)^2}{(x+3)^2}+4 e^{e^x}+2\right )}{(x+3)^2 \left (x^2+4 x+3\right )} \, dx\) |
\(\Big \downarrow \) 2004 |
\(\displaystyle \int \frac {(2 x+2)^2 \left (e^{x+e^x} \left (4 x^2+16 x+12\right )+4\right ) \exp \left (\frac {e^{4 e^{e^x}+2} (2 x+2)^2}{(x+3)^2}+4 e^{e^x}+2\right )}{(x+1) (x+3)^3}dx\) |
\(\Big \downarrow \) 35 |
\(\displaystyle 4 \int \frac {4 \exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+2\right ) (x+1) \left (e^{x+e^x} \left (x^2+4 x+3\right )+1\right )}{(x+3)^3}dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle 16 \int \frac {\exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+2\right ) (x+1) \left (e^{x+e^x} \left (x^2+4 x+3\right )+1\right )}{(x+3)^3}dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle 16 \int \left (\frac {\exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+e^x+x+2\right ) (x+1)^2}{(x+3)^2}+\frac {\exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+2\right ) (x+1)}{(x+3)^3}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle 16 \left (\int \exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+e^x+x+2\right )dx-2 \int \frac {\exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+2\right )}{(x+3)^3}dx+\int \frac {\exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+2\right )}{(x+3)^2}dx+4 \int \frac {\exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+e^x+x+2\right )}{(x+3)^2}dx-4 \int \frac {\exp \left (\frac {4 e^{2+4 e^{e^x}} (x+1)^2}{(x+3)^2}+4 e^{e^x}+e^x+x+2\right )}{x+3}dx\right )\) |
Input:
Int[(E^(2 + 4*E^E^x + (E^(2 + 4*E^E^x)*(2 + 2*x)^2)/(3 + x)^2)*(2 + 2*x)^2 *(4 + E^(E^x + x)*(12 + 16*x + 4*x^2)))/((3 + x)^2*(3 + 4*x + x^2)),x]
Output:
$Aborted
Time = 242.09 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.85
method | result | size |
parallelrisch | \({\mathrm e}^{\frac {4 \left (1+x \right )^{2} {\mathrm e}^{4 \,{\mathrm e}^{{\mathrm e}^{x}}+2}}{\left (3+x \right )^{2}}}\) | \(23\) |
risch | \({\mathrm e}^{\frac {4 \left (1+x \right )^{2} {\mathrm e}^{4 \,{\mathrm e}^{{\mathrm e}^{x}}+2-i \pi \operatorname {csgn}\left (\frac {i \left (1+x \right )}{3+x}\right )^{3}+i \pi \operatorname {csgn}\left (\frac {i \left (1+x \right )}{3+x}\right )^{2} \operatorname {csgn}\left (i \left (1+x \right )\right )+i \pi \operatorname {csgn}\left (\frac {i \left (1+x \right )}{3+x}\right )^{2} \operatorname {csgn}\left (\frac {i}{3+x}\right )-i \pi \,\operatorname {csgn}\left (\frac {i \left (1+x \right )}{3+x}\right ) \operatorname {csgn}\left (i \left (1+x \right )\right ) \operatorname {csgn}\left (\frac {i}{3+x}\right )}}{\left (3+x \right )^{2}}}\) | \(124\) |
Input:
int(((4*x^2+16*x+12)*exp(x)*exp(exp(x))+4)*exp(2*exp(exp(x))+ln((2+2*x)/(3 +x))+1)^2*exp(exp(2*exp(exp(x))+ln((2+2*x)/(3+x))+1)^2)/(x^2+4*x+3),x,meth od=_RETURNVERBOSE)
Output:
exp(exp(1+ln(2/(3+x)*(1+x))+2*exp(exp(x)))^2)
Leaf count of result is larger than twice the leaf count of optimal. 97 vs. \(2 (24) = 48\).
Time = 0.10 (sec) , antiderivative size = 97, normalized size of antiderivative = 3.59 \[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx=e^{\left ({\left (2 \, e^{x} \log \left (\frac {2 \, {\left (x + 1\right )}}{x + 3}\right ) + e^{\left (2 \, {\left (e^{x} \log \left (\frac {2 \, {\left (x + 1\right )}}{x + 3}\right ) + 2 \, e^{\left (x + e^{x}\right )} + e^{x}\right )} e^{\left (-x\right )} + x\right )} + 4 \, e^{\left (x + e^{x}\right )} + 2 \, e^{x}\right )} e^{\left (-x\right )} - 2 \, {\left (e^{x} \log \left (\frac {2 \, {\left (x + 1\right )}}{x + 3}\right ) + 2 \, e^{\left (x + e^{x}\right )} + e^{x}\right )} e^{\left (-x\right )}\right )} \] Input:
integrate(((4*x^2+16*x+12)*exp(x)*exp(exp(x))+4)*exp(2*exp(exp(x))+log((2+ 2*x)/(3+x))+1)^2*exp(exp(2*exp(exp(x))+log((2+2*x)/(3+x))+1)^2)/(x^2+4*x+3 ),x, algorithm="fricas")
Output:
e^((2*e^x*log(2*(x + 1)/(x + 3)) + e^(2*(e^x*log(2*(x + 1)/(x + 3)) + 2*e^ (x + e^x) + e^x)*e^(-x) + x) + 4*e^(x + e^x) + 2*e^x)*e^(-x) - 2*(e^x*log( 2*(x + 1)/(x + 3)) + 2*e^(x + e^x) + e^x)*e^(-x))
Time = 1.11 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.81 \[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx=e^{\frac {\left (2 x + 2\right )^{2} e^{4 e^{e^{x}} + 2}}{\left (x + 3\right )^{2}}} \] Input:
integrate(((4*x**2+16*x+12)*exp(x)*exp(exp(x))+4)*exp(2*exp(exp(x))+ln((2+ 2*x)/(3+x))+1)**2*exp(exp(2*exp(exp(x))+ln((2+2*x)/(3+x))+1)**2)/(x**2+4*x +3),x)
Output:
exp((2*x + 2)**2*exp(4*exp(exp(x)) + 2)/(x + 3)**2)
Time = 0.42 (sec) , antiderivative size = 47, normalized size of antiderivative = 1.74 \[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx=e^{\left (\frac {16 \, e^{\left (4 \, e^{\left (e^{x}\right )} + 2\right )}}{x^{2} + 6 \, x + 9} - \frac {16 \, e^{\left (4 \, e^{\left (e^{x}\right )} + 2\right )}}{x + 3} + 4 \, e^{\left (4 \, e^{\left (e^{x}\right )} + 2\right )}\right )} \] Input:
integrate(((4*x^2+16*x+12)*exp(x)*exp(exp(x))+4)*exp(2*exp(exp(x))+log((2+ 2*x)/(3+x))+1)^2*exp(exp(2*exp(exp(x))+log((2+2*x)/(3+x))+1)^2)/(x^2+4*x+3 ),x, algorithm="maxima")
Output:
e^(16*e^(4*e^(e^x) + 2)/(x^2 + 6*x + 9) - 16*e^(4*e^(e^x) + 2)/(x + 3) + 4 *e^(4*e^(e^x) + 2))
\[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx=\int { \frac {4 \, {\left ({\left (x^{2} + 4 \, x + 3\right )} e^{\left (x + e^{x}\right )} + 1\right )} e^{\left (e^{\left (4 \, e^{\left (e^{x}\right )} + 2 \, \log \left (\frac {2 \, {\left (x + 1\right )}}{x + 3}\right ) + 2\right )} + 4 \, e^{\left (e^{x}\right )} + 2 \, \log \left (\frac {2 \, {\left (x + 1\right )}}{x + 3}\right ) + 2\right )}}{x^{2} + 4 \, x + 3} \,d x } \] Input:
integrate(((4*x^2+16*x+12)*exp(x)*exp(exp(x))+4)*exp(2*exp(exp(x))+log((2+ 2*x)/(3+x))+1)^2*exp(exp(2*exp(exp(x))+log((2+2*x)/(3+x))+1)^2)/(x^2+4*x+3 ),x, algorithm="giac")
Output:
integrate(4*((x^2 + 4*x + 3)*e^(x + e^x) + 1)*e^(e^(4*e^(e^x) + 2*log(2*(x + 1)/(x + 3)) + 2) + 4*e^(e^x) + 2*log(2*(x + 1)/(x + 3)) + 2)/(x^2 + 4*x + 3), x)
Time = 3.67 (sec) , antiderivative size = 68, normalized size of antiderivative = 2.52 \[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx={\mathrm {e}}^{\frac {8\,x\,{\mathrm {e}}^{4\,{\mathrm {e}}^{{\mathrm {e}}^x}}\,{\mathrm {e}}^2}{x^2+6\,x+9}}\,{\mathrm {e}}^{\frac {4\,x^2\,{\mathrm {e}}^{4\,{\mathrm {e}}^{{\mathrm {e}}^x}}\,{\mathrm {e}}^2}{x^2+6\,x+9}}\,{\mathrm {e}}^{\frac {4\,{\mathrm {e}}^{4\,{\mathrm {e}}^{{\mathrm {e}}^x}}\,{\mathrm {e}}^2}{x^2+6\,x+9}} \] Input:
int((exp(2*log((2*x + 2)/(x + 3)) + 4*exp(exp(x)) + 2)*exp(exp(2*log((2*x + 2)/(x + 3)) + 4*exp(exp(x)) + 2))*(exp(exp(x))*exp(x)*(16*x + 4*x^2 + 12 ) + 4))/(4*x + x^2 + 3),x)
Output:
exp((8*x*exp(4*exp(exp(x)))*exp(2))/(6*x + x^2 + 9))*exp((4*x^2*exp(4*exp( exp(x)))*exp(2))/(6*x + x^2 + 9))*exp((4*exp(4*exp(exp(x)))*exp(2))/(6*x + x^2 + 9))
Time = 0.23 (sec) , antiderivative size = 62, normalized size of antiderivative = 2.30 \[ \int \frac {e^{2+4 e^{e^x}+\frac {e^{2+4 e^{e^x}} (2+2 x)^2}{(3+x)^2}} (2+2 x)^2 \left (4+e^{e^x+x} \left (12+16 x+4 x^2\right )\right )}{(3+x)^2 \left (3+4 x+x^2\right )} \, dx=\frac {e^{4 e^{4 e^{e^{x}}} e^{2}}}{e^{\frac {16 e^{4 e^{e^{x}}} e^{2} x +32 e^{4 e^{e^{x}}} e^{2}}{x^{2}+6 x +9}}} \] Input:
int(((4*x^2+16*x+12)*exp(x)*exp(exp(x))+4)*exp(2*exp(exp(x))+log((2+2*x)/( 3+x))+1)^2*exp(exp(2*exp(exp(x))+log((2+2*x)/(3+x))+1)^2)/(x^2+4*x+3),x)
Output:
e**(4*e**(4*e**(e**x))*e**2)/e**((16*e**(4*e**(e**x))*e**2*x + 32*e**(4*e* *(e**x))*e**2)/(x**2 + 6*x + 9))