Integrand size = 310, antiderivative size = 21 \[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=x^{2-e^{\frac {1}{\left (-4+e^x-x\right )^2}}-x} \]
[Out]
Timed out. \[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=\text {\$Aborted} \]
[In]
[Out]
Rubi steps Aborted
Time = 1.28 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.00 \[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=x^{2-e^{\frac {1}{\left (-4+e^x-x\right )^2}}-x} \]
[In]
[Out]
Time = 285.92 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.57
method | result | size |
parallelrisch | \({\mathrm e}^{-\ln \left (x \right ) \left ({\mathrm e}^{\frac {1}{-2 \,{\mathrm e}^{x} x +x^{2}-8 \,{\mathrm e}^{x}+{\mathrm e}^{2 x}+8 x +16}}+x -2\right )}\) | \(33\) |
risch | \(x^{-{\mathrm e}^{-\frac {1}{2 \,{\mathrm e}^{x} x -x^{2}+8 \,{\mathrm e}^{x}-{\mathrm e}^{2 x}-8 x -16}}} x^{2-x}\) | \(43\) |
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.67 \[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=e^{\left (-{\left (x - 2\right )} \log \left (x\right ) - e^{\left (\frac {1}{x^{2} - 2 \, {\left (x + 4\right )} e^{x} + 8 \, x + e^{\left (2 \, x\right )} + 16}\right )} \log \left (x\right )\right )} \]
[In]
[Out]
Time = 76.17 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.76 \[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=e^{\left (2 - x\right ) \log {\left (x \right )} - e^{\frac {1}{x^{2} + 8 x + \left (- 2 x - 8\right ) e^{x} + e^{2 x} + 16}} \log {\left (x \right )}} \]
[In]
[Out]
none
Time = 0.40 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.76 \[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=x^{2} e^{\left (-x \log \left (x\right ) - e^{\left (\frac {1}{x^{2} - 2 \, {\left (x + 4\right )} e^{x} + 8 \, x + e^{\left (2 \, x\right )} + 16}\right )} \log \left (x\right )\right )} \]
[In]
[Out]
\[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=\int { -\frac {{\left (x^{4} + 10 \, x^{3} + 24 \, x^{2} - {\left (x - 2\right )} e^{\left (3 \, x\right )} + 3 \, {\left (x^{2} + 2 \, x - 8\right )} e^{\left (2 \, x\right )} - 3 \, {\left (x^{3} + 6 \, x^{2} - 32\right )} e^{x} + {\left (x^{3} + 12 \, x^{2} + 3 \, {\left (x + 4\right )} e^{\left (2 \, x\right )} - 3 \, {\left (x^{2} + 8 \, x + 16\right )} e^{x} + 2 \, {\left (x e^{x} - x\right )} \log \left (x\right ) + 48 \, x - e^{\left (3 \, x\right )} + 64\right )} e^{\left (\frac {1}{x^{2} - 2 \, {\left (x + 4\right )} e^{x} + 8 \, x + e^{\left (2 \, x\right )} + 16}\right )} + {\left (x^{4} + 12 \, x^{3} + 48 \, x^{2} - x e^{\left (3 \, x\right )} + 3 \, {\left (x^{2} + 4 \, x\right )} e^{\left (2 \, x\right )} - 3 \, {\left (x^{3} + 8 \, x^{2} + 16 \, x\right )} e^{x} + 64 \, x\right )} \log \left (x\right ) - 32 \, x - 128\right )} e^{\left (-{\left (x - 2\right )} \log \left (x\right ) - e^{\left (\frac {1}{x^{2} - 2 \, {\left (x + 4\right )} e^{x} + 8 \, x + e^{\left (2 \, x\right )} + 16}\right )} \log \left (x\right )\right )}}{x^{4} + 12 \, x^{3} + 48 \, x^{2} - x e^{\left (3 \, x\right )} + 3 \, {\left (x^{2} + 4 \, x\right )} e^{\left (2 \, x\right )} - 3 \, {\left (x^{3} + 8 \, x^{2} + 16 \, x\right )} e^{x} + 64 \, x} \,d x } \]
[In]
[Out]
Time = 10.13 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.76 \[ \int \frac {e^{-e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \log (x)+(2-x) \log (x)} \left (-128+e^{3 x} (2-x)-32 x+24 x^2+10 x^3+x^4+e^{2 x} \left (-24+6 x+3 x^2\right )+e^x \left (96-18 x^2-3 x^3\right )+\left (64 x-e^{3 x} x+48 x^2+12 x^3+x^4+e^{2 x} \left (12 x+3 x^2\right )+e^x \left (-48 x-24 x^2-3 x^3\right )\right ) \log (x)+e^{\frac {1}{16+e^{2 x}+e^x (-8-2 x)+8 x+x^2}} \left (64-e^{3 x}+48 x+12 x^2+x^3+e^{2 x} (12+3 x)+e^x \left (-48-24 x-3 x^2\right )+\left (-2 x+2 e^x x\right ) \log (x)\right )\right )}{-64 x+e^{3 x} x-48 x^2-12 x^3-x^4+e^{2 x} \left (-12 x-3 x^2\right )+e^x \left (48 x+24 x^2+3 x^3\right )} \, dx=\frac {x^2}{x^{{\mathrm {e}}^{\frac {1}{8\,x+{\mathrm {e}}^{2\,x}-8\,{\mathrm {e}}^x-2\,x\,{\mathrm {e}}^x+x^2+16}}}\,x^x} \]
[In]
[Out]