Integrand size = 95, antiderivative size = 24 \[ \int \frac {e^{\frac {-100-e^{225 x/8}+20 x^2+x^3-x^4+e^{225 x/16} \left (-20+2 x^2\right )}{x^2}} \left (1600+e^{225 x/8} (16-225 x)+8 x^3-16 x^4+e^{225 x/16} \left (320-2250 x+225 x^3\right )\right )}{8 x^3} \, dx=e^{x-\left (-\frac {10+e^{225 x/16}}{x}+x\right )^2} \]
Time = 0.12 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.83 \[ \int \frac {e^{\frac {-100-e^{225 x/8}+20 x^2+x^3-x^4+e^{225 x/16} \left (-20+2 x^2\right )}{x^2}} \left (1600+e^{225 x/8} (16-225 x)+8 x^3-16 x^4+e^{225 x/16} \left (320-2250 x+225 x^3\right )\right )}{8 x^3} \, dx=e^{20-\frac {100}{x^2}-\frac {e^{225 x/8}}{x^2}+x-x^2+\frac {2 e^{225 x/16} \left (-10+x^2\right )}{x^2}} \]
Integrate[(E^((-100 - E^((225*x)/8) + 20*x^2 + x^3 - x^4 + E^((225*x)/16)* (-20 + 2*x^2))/x^2)*(1600 + E^((225*x)/8)*(16 - 225*x) + 8*x^3 - 16*x^4 + E^((225*x)/16)*(320 - 2250*x + 225*x^3)))/(8*x^3),x]
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 (-16 x^4+8 x^3+e^{225 x/16} \left (225 x^3-2250 x+320\right )+e^{225 x/8} (16-225 x)+1600\right ) \exp \left (\frac {-x^4+x^3+20 x^2+e^{225 x/16} \left (2 x^2-20\right )-e^{225 x/8}-100}{x^2}\right )}{8 x^3} \, dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {1}{8} \int \frac {\exp \left (-\frac {x^4-x^3-20 x^2+e^{225 x/8}+2 e^{225 x/16} \left (10-x^2\right )+100}{x^2}\right ) \left (-16 x^4+8 x^3+e^{225 x/8} (16-225 x)+5 e^{225 x/16} \left (45 x^3-450 x+64\right )+1600\right )}{x^3}dx\) |
\(\Big \downarrow \) 7292 |
\(\displaystyle \frac {1}{8} \int \frac {\exp \left (-x^2+x+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right ) \left (-16 x^4+8 x^3+e^{225 x/8} (16-225 x)+5 e^{225 x/16} \left (45 x^3-450 x+64\right )+1600\right )}{x^3}dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \frac {1}{8} \int \left (-\frac {\exp \left (-x^2+\frac {233 x}{8}+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right ) (225 x-16)}{x^3}+\frac {5 \exp \left (-x^2+\frac {241 x}{16}+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right ) \left (45 x^3-450 x+64\right )}{x^3}-\frac {8 \exp \left (-x^2+x+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right ) \left (2 x^4-x^3-200\right )}{x^3}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle \frac {1}{8} \left (8 \int \exp \left (-x^2+x+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right )dx+225 \int \exp \left (-x^2+\frac {241 x}{16}+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right )dx-2250 \int \frac {\exp \left (-x^2+\frac {241 x}{16}+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right )}{x^2}dx-225 \int \frac {\exp \left (-x^2+\frac {233 x}{8}+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right )}{x^2}dx-16 \int \exp \left (-x^2+x+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right ) xdx+1600 \int \frac {\exp \left (-x^2+x+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right )}{x^3}dx+320 \int \frac {\exp \left (-x^2+\frac {241 x}{16}+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right )}{x^3}dx+16 \int \frac {\exp \left (-x^2+\frac {233 x}{8}+20-\frac {e^{225 x/8}}{x^2}-\frac {2 e^{225 x/16} \left (10-x^2\right )}{x^2}-\frac {100}{x^2}\right )}{x^3}dx\right )\) |
Int[(E^((-100 - E^((225*x)/8) + 20*x^2 + x^3 - x^4 + E^((225*x)/16)*(-20 + 2*x^2))/x^2)*(1600 + E^((225*x)/8)*(16 - 225*x) + 8*x^3 - 16*x^4 + E^((22 5*x)/16)*(320 - 2250*x + 225*x^3)))/(8*x^3),x]
3.15.62.3.1 Defintions of rubi rules used
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Time = 0.16 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.71
method | result | size |
norman | \({\mathrm e}^{\frac {-{\mathrm e}^{\frac {225 x}{8}}+\left (2 x^{2}-20\right ) {\mathrm e}^{\frac {225 x}{16}}-x^{4}+x^{3}+20 x^{2}-100}{x^{2}}}\) | \(41\) |
risch | \({\mathrm e}^{-\frac {x^{4}-2 \,{\mathrm e}^{\frac {225 x}{16}} x^{2}-x^{3}-20 x^{2}+{\mathrm e}^{\frac {225 x}{8}}+20 \,{\mathrm e}^{\frac {225 x}{16}}+100}{x^{2}}}\) | \(41\) |
parallelrisch | \({\mathrm e}^{\frac {-{\mathrm e}^{\frac {225 x}{8}}+\left (2 x^{2}-20\right ) {\mathrm e}^{\frac {225 x}{16}}-x^{4}+x^{3}+20 x^{2}-100}{x^{2}}}\) | \(41\) |
int(1/8*((-225*x+16)*exp(225/16*x)^2+(225*x^3-2250*x+320)*exp(225/16*x)-16 *x^4+8*x^3+1600)*exp((-exp(225/16*x)^2+(2*x^2-20)*exp(225/16*x)-x^4+x^3+20 *x^2-100)/x^2)/x^3,x,method=_RETURNVERBOSE)
Time = 0.25 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.50 \[ \int \frac {e^{\frac {-100-e^{225 x/8}+20 x^2+x^3-x^4+e^{225 x/16} \left (-20+2 x^2\right )}{x^2}} \left (1600+e^{225 x/8} (16-225 x)+8 x^3-16 x^4+e^{225 x/16} \left (320-2250 x+225 x^3\right )\right )}{8 x^3} \, dx=e^{\left (-\frac {x^{4} - x^{3} - 20 \, x^{2} - 2 \, {\left (x^{2} - 10\right )} e^{\left (\frac {225}{16} \, x\right )} + e^{\left (\frac {225}{8} \, x\right )} + 100}{x^{2}}\right )} \]
integrate(1/8*((-225*x+16)*exp(225/16*x)^2+(225*x^3-2250*x+320)*exp(225/16 *x)-16*x^4+8*x^3+1600)*exp((-exp(225/16*x)^2+(2*x^2-20)*exp(225/16*x)-x^4+ x^3+20*x^2-100)/x^2)/x^3,x, algorithm=\
Leaf count of result is larger than twice the leaf count of optimal. 37 vs. \(2 (15) = 30\).
Time = 0.21 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.54 \[ \int \frac {e^{\frac {-100-e^{225 x/8}+20 x^2+x^3-x^4+e^{225 x/16} \left (-20+2 x^2\right )}{x^2}} \left (1600+e^{225 x/8} (16-225 x)+8 x^3-16 x^4+e^{225 x/16} \left (320-2250 x+225 x^3\right )\right )}{8 x^3} \, dx=e^{\frac {- x^{4} + x^{3} + 20 x^{2} + \left (2 x^{2} - 20\right ) e^{\frac {225 x}{16}} - e^{\frac {225 x}{8}} - 100}{x^{2}}} \]
integrate(1/8*((-225*x+16)*exp(225/16*x)**2+(225*x**3-2250*x+320)*exp(225/ 16*x)-16*x**4+8*x**3+1600)*exp((-exp(225/16*x)**2+(2*x**2-20)*exp(225/16*x )-x**4+x**3+20*x**2-100)/x**2)/x**3,x)
\[ \int \frac {e^{\frac {-100-e^{225 x/8}+20 x^2+x^3-x^4+e^{225 x/16} \left (-20+2 x^2\right )}{x^2}} \left (1600+e^{225 x/8} (16-225 x)+8 x^3-16 x^4+e^{225 x/16} \left (320-2250 x+225 x^3\right )\right )}{8 x^3} \, dx=\int { -\frac {{\left (16 \, x^{4} - 8 \, x^{3} + {\left (225 \, x - 16\right )} e^{\left (\frac {225}{8} \, x\right )} - 5 \, {\left (45 \, x^{3} - 450 \, x + 64\right )} e^{\left (\frac {225}{16} \, x\right )} - 1600\right )} e^{\left (-\frac {x^{4} - x^{3} - 20 \, x^{2} - 2 \, {\left (x^{2} - 10\right )} e^{\left (\frac {225}{16} \, x\right )} + e^{\left (\frac {225}{8} \, x\right )} + 100}{x^{2}}\right )}}{8 \, x^{3}} \,d x } \]
integrate(1/8*((-225*x+16)*exp(225/16*x)^2+(225*x^3-2250*x+320)*exp(225/16 *x)-16*x^4+8*x^3+1600)*exp((-exp(225/16*x)^2+(2*x^2-20)*exp(225/16*x)-x^4+ x^3+20*x^2-100)/x^2)/x^3,x, algorithm=\
-1/8*integrate((16*x^4 - 8*x^3 + (225*x - 16)*e^(225/8*x) - 5*(45*x^3 - 45 0*x + 64)*e^(225/16*x) - 1600)*e^(-(x^4 - x^3 - 20*x^2 - 2*(x^2 - 10)*e^(2 25/16*x) + e^(225/8*x) + 100)/x^2)/x^3, x)
Time = 0.40 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.58 \[ \int \frac {e^{\frac {-100-e^{225 x/8}+20 x^2+x^3-x^4+e^{225 x/16} \left (-20+2 x^2\right )}{x^2}} \left (1600+e^{225 x/8} (16-225 x)+8 x^3-16 x^4+e^{225 x/16} \left (320-2250 x+225 x^3\right )\right )}{8 x^3} \, dx=e^{\left (-x^{2} + x - \frac {e^{\left (\frac {225}{8} \, x\right )}}{x^{2}} - \frac {20 \, e^{\left (\frac {225}{16} \, x\right )}}{x^{2}} - \frac {100}{x^{2}} + 2 \, e^{\left (\frac {225}{16} \, x\right )} + 20\right )} \]
integrate(1/8*((-225*x+16)*exp(225/16*x)^2+(225*x^3-2250*x+320)*exp(225/16 *x)-16*x^4+8*x^3+1600)*exp((-exp(225/16*x)^2+(2*x^2-20)*exp(225/16*x)-x^4+ x^3+20*x^2-100)/x^2)/x^3,x, algorithm=\
Time = 10.82 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.83 \[ \int \frac {e^{\frac {-100-e^{225 x/8}+20 x^2+x^3-x^4+e^{225 x/16} \left (-20+2 x^2\right )}{x^2}} \left (1600+e^{225 x/8} (16-225 x)+8 x^3-16 x^4+e^{225 x/16} \left (320-2250 x+225 x^3\right )\right )}{8 x^3} \, dx={\mathrm {e}}^{2\,{\mathrm {e}}^{\frac {225\,x}{16}}}\,{\mathrm {e}}^{20}\,{\mathrm {e}}^{-x^2}\,{\mathrm {e}}^{-\frac {100}{x^2}}\,{\mathrm {e}}^{-\frac {{\mathrm {e}}^{\frac {225\,x}{8}}}{x^2}}\,{\mathrm {e}}^{-\frac {20\,{\mathrm {e}}^{\frac {225\,x}{16}}}{x^2}}\,{\mathrm {e}}^x \]
int((exp(-(exp((225*x)/8) - exp((225*x)/16)*(2*x^2 - 20) - 20*x^2 - x^3 + x^4 + 100)/x^2)*(exp((225*x)/16)*(225*x^3 - 2250*x + 320) - exp((225*x)/8) *(225*x - 16) + 8*x^3 - 16*x^4 + 1600))/(8*x^3),x)