Integrand size = 240, antiderivative size = 32 \[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\frac {e^{6-\frac {5}{-x+\log \left (\frac {16}{x^2}\right )}} x^2}{4-e^x+x} \]
[Out]
Timed out. \[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\text {\$Aborted} \]
[In]
[Out]
Rubi steps Aborted
\[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx \]
[In]
[Out]
Time = 19.14 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.28
method | result | size |
parallelrisch | \(\frac {{\mathrm e}^{\frac {6 \ln \left (\frac {16}{x^{2}}\right )-5-6 x}{\ln \left (\frac {16}{x^{2}}\right )-x}} x^{2}}{x -{\mathrm e}^{x}+4}\) | \(41\) |
risch | \(\frac {x^{2} {\mathrm e}^{\frac {6 i \pi \operatorname {csgn}\left (i x^{2}\right )^{3}-12 i \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}+6 i \pi \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )-24 \ln \left (x \right )+48 \ln \left (2\right )-12 x -10}{i \pi \operatorname {csgn}\left (i x^{2}\right )^{3}-2 i \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}+i \pi \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )-4 \ln \left (x \right )+8 \ln \left (2\right )-2 x}}}{x -{\mathrm e}^{x}+4}\) | \(142\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.25 \[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\frac {x^{2} e^{\left (\frac {6 \, x - 6 \, \log \left (\frac {16}{x^{2}}\right ) + 5}{x - \log \left (\frac {16}{x^{2}}\right )}\right )}}{x - e^{x} + 4} \]
[In]
[Out]
Time = 0.73 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.00 \[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\frac {x^{2} e^{\frac {- 6 x + 6 \log {\left (\frac {16}{x^{2}} \right )} - 5}{- x + \log {\left (\frac {16}{x^{2}} \right )}}}}{x - e^{x} + 4} \]
[In]
[Out]
none
Time = 0.47 (sec) , antiderivative size = 30, normalized size of antiderivative = 0.94 \[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\frac {x^{2} e^{\left (\frac {5}{x - 4 \, \log \left (2\right ) + 2 \, \log \left (x\right )} + 6\right )}}{x - e^{x} + 4} \]
[In]
[Out]
none
Time = 2.06 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.25 \[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\frac {x^{2} e^{\left (\frac {6 \, x - 6 \, \log \left (\frac {16}{x^{2}}\right ) + 5}{x - \log \left (\frac {16}{x^{2}}\right )}\right )}}{x - e^{x} + 4} \]
[In]
[Out]
Time = 15.44 (sec) , antiderivative size = 68, normalized size of antiderivative = 2.12 \[ \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx=\frac {x^2\,{\mathrm {e}}^{-\frac {5}{\ln \left (\frac {1}{x^2}\right )-x+4\,\ln \left (2\right )}}\,{\mathrm {e}}^{-\frac {6\,x}{\ln \left (\frac {1}{x^2}\right )-x+4\,\ln \left (2\right )}}\,{\left (\frac {16777216}{x^{12}}\right )}^{\frac {1}{\ln \left (\frac {1}{x^2}\right )-x+4\,\ln \left (2\right )}}}{x-{\mathrm {e}}^x+4} \]
[In]
[Out]