Integrand size = 161, antiderivative size = 33 \[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=e^{-x-\frac {\left (e^x+\frac {\log (x)}{x \log \left (x^2\right )}\right )^2}{4 x^4}} x \]
[Out]
\[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=\int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \frac {1}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{x^6 \log ^3\left (x^2\right )} \, dx \\ & = \frac {1}{2} \int \left (-\frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) (-2+x)}{x^4}-\frac {\exp \left (x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (-2 \log (x)+\log \left (x^2\right )-5 \log (x) \log \left (x^2\right )+x \log (x) \log \left (x^2\right )\right )}{x^5 \log ^2\left (x^2\right )}+\frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (2 \log ^2(x)-\log (x) \log \left (x^2\right )+3 \log ^2(x) \log \left (x^2\right )+2 x^6 \log ^3\left (x^2\right )-2 x^7 \log ^3\left (x^2\right )\right )}{x^6 \log ^3\left (x^2\right )}\right ) \, dx \\ & = -\left (\frac {1}{2} \int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) (-2+x)}{x^4} \, dx\right )-\frac {1}{2} \int \frac {\exp \left (x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (-2 \log (x)+\log \left (x^2\right )-5 \log (x) \log \left (x^2\right )+x \log (x) \log \left (x^2\right )\right )}{x^5 \log ^2\left (x^2\right )} \, dx+\frac {1}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (2 \log ^2(x)-\log (x) \log \left (x^2\right )+3 \log ^2(x) \log \left (x^2\right )+2 x^6 \log ^3\left (x^2\right )-2 x^7 \log ^3\left (x^2\right )\right )}{x^6 \log ^3\left (x^2\right )} \, dx \\ & = -\left (\frac {1}{2} \int \left (-\frac {2 \exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^4}+\frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^3}\right ) \, dx\right )+\frac {1}{2} \int \left (-2 \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) (-1+x)+\frac {2 \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^3\left (x^2\right )}+\frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x) (-1+3 \log (x))}{x^6 \log ^2\left (x^2\right )}\right ) \, dx-\frac {1}{2} \int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (-2 \log (x)+\log \left (x^2\right )-5 \log (x) \log \left (x^2\right )+x \log (x) \log \left (x^2\right )\right )}{x^5 \log ^2\left (x^2\right )} \, dx \\ & = -\left (\frac {1}{2} \int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^3} \, dx\right )+\frac {1}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x) (-1+3 \log (x))}{x^6 \log ^2\left (x^2\right )} \, dx-\frac {1}{2} \int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \left (\log \left (x^2\right )+\log (x) \left (-2+(-5+x) \log \left (x^2\right )\right )\right )}{x^5 \log ^2\left (x^2\right )} \, dx-\int \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) (-1+x) \, dx+\int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^4} \, dx+\int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^3\left (x^2\right )} \, dx \\ & = -\left (\frac {1}{2} \int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^3} \, dx\right )+\frac {1}{2} \int \left (-\frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^6 \log ^2\left (x^2\right )}+\frac {3 \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^2\left (x^2\right )}\right ) \, dx-\frac {1}{2} \int \left (-\frac {2 \exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^5 \log ^2\left (x^2\right )}+\frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) (1-5 \log (x)+x \log (x))}{x^5 \log \left (x^2\right )}\right ) \, dx+\int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^4} \, dx-\int \left (-\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )+\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) x\right ) \, dx+\int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^3\left (x^2\right )} \, dx \\ & = -\left (\frac {1}{2} \int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^3} \, dx\right )-\frac {1}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^6 \log ^2\left (x^2\right )} \, dx-\frac {1}{2} \int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) (1-5 \log (x)+x \log (x))}{x^5 \log \left (x^2\right )} \, dx+\frac {3}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^2\left (x^2\right )} \, dx+\int \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \, dx+\int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^4} \, dx-\int \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) x \, dx+\int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^3\left (x^2\right )} \, dx+\int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^5 \log ^2\left (x^2\right )} \, dx \\ & = -\left (\frac {1}{2} \int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^3} \, dx\right )-\frac {1}{2} \int \left (\frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^5 \log \left (x^2\right )}-\frac {5 \exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^5 \log \left (x^2\right )}+\frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^4 \log \left (x^2\right )}\right ) \, dx-\frac {1}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^6 \log ^2\left (x^2\right )} \, dx+\frac {3}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^2\left (x^2\right )} \, dx+\int \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \, dx+\int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^4} \, dx-\int \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) x \, dx+\int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^3\left (x^2\right )} \, dx+\int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^5 \log ^2\left (x^2\right )} \, dx \\ & = -\left (\frac {1}{2} \int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^3} \, dx\right )-\frac {1}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^6 \log ^2\left (x^2\right )} \, dx-\frac {1}{2} \int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^5 \log \left (x^2\right )} \, dx-\frac {1}{2} \int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^4 \log \left (x^2\right )} \, dx+\frac {3}{2} \int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^2\left (x^2\right )} \, dx+\frac {5}{2} \int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^5 \log \left (x^2\right )} \, dx+\int \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \, dx+\int \frac {\exp \left (2 x-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right )}{x^4} \, dx-\int \exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) x \, dx+\int \frac {\exp \left (-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}\right ) \log ^2(x)}{x^6 \log ^3\left (x^2\right )} \, dx+\int \frac {\exp \left (-\frac {\left (\log (x)+e^x x \log \left (x^2\right )\right )^2}{4 x^6 \log ^2\left (x^2\right )}\right ) \log (x)}{x^5 \log ^2\left (x^2\right )} \, dx \\ \end{align*}
Time = 0.41 (sec) , antiderivative size = 56, normalized size of antiderivative = 1.70 \[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=e^{-\frac {e^{2 x}}{4 x^4}-x-\frac {\log ^2(x)}{4 x^6 \log ^2\left (x^2\right )}} x^{1-\frac {e^x}{2 x^5 \log \left (x^2\right )}} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 2.27 (sec) , antiderivative size = 549, normalized size of antiderivative = 16.64
\[x \,{\mathrm e}^{-\frac {-4 \pi ^{2} \operatorname {csgn}\left (i x^{2}\right )^{6} x^{7}+16 \pi ^{2} \operatorname {csgn}\left (i x^{2}\right )^{5} \operatorname {csgn}\left (i x \right ) x^{7}-24 \pi ^{2} \operatorname {csgn}\left (i x^{2}\right )^{4} \operatorname {csgn}\left (i x \right )^{2} x^{7}+16 \pi ^{2} \operatorname {csgn}\left (i x^{2}\right )^{3} \operatorname {csgn}\left (i x \right )^{3} x^{7}-4 \pi ^{2} \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right )^{4} x^{7}-8 i \ln \left (x \right ) \pi \,{\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right )^{3} x^{2}-32 i \ln \left (x \right ) \pi \operatorname {csgn}\left (i x^{2}\right )^{3} x^{7}+64 i \ln \left (x \right ) \pi \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right ) x^{7}-\pi ^{2} {\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right )^{6} x^{2}+4 \pi ^{2} {\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right )^{5} \operatorname {csgn}\left (i x \right ) x^{2}-6 \pi ^{2} {\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right )^{4} \operatorname {csgn}\left (i x \right )^{2} x^{2}+4 \pi ^{2} {\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right )^{3} \operatorname {csgn}\left (i x \right )^{3} x^{2}-\pi ^{2} {\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right )^{4} x^{2}+64 x^{7} \ln \left (x \right )^{2}+16 i \ln \left (x \right ) \pi \,{\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right ) x^{2}-32 i \ln \left (x \right ) \pi \,\operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x \right )^{2} x^{7}-4 i \ln \left (x \right ) {\mathrm e}^{x} x \pi \operatorname {csgn}\left (i x^{2}\right )^{3}-4 i \ln \left (x \right ) {\mathrm e}^{x} x \pi \,\operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x \right )^{2}-8 i \ln \left (x \right ) \pi \,{\mathrm e}^{2 x} \operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x \right )^{2} x^{2}+8 i \ln \left (x \right ) {\mathrm e}^{x} x \pi \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right )+16 \,{\mathrm e}^{2 x} \ln \left (x \right )^{2} x^{2}+16 x \,{\mathrm e}^{x} \ln \left (x \right )^{2}+4 \ln \left (x \right )^{2}}{4 x^{6} {\left (-i \pi \operatorname {csgn}\left (i x^{2}\right )^{3}+2 i \pi \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right )-i \pi \,\operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x \right )^{2}+4 \ln \left (x \right )\right )}^{2}}}\]
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.88 \[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=x e^{\left (-\frac {16 \, x^{7} + 4 \, x^{2} e^{\left (2 \, x\right )} + 4 \, x e^{x} + 1}{16 \, x^{6}}\right )} \]
[In]
[Out]
Time = 1.65 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.45 \[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=x e^{- \frac {x e^{x} \log {\left (x \right )}^{2} + \left (4 x^{7} + x^{2} e^{2 x}\right ) \log {\left (x \right )}^{2} + \frac {\log {\left (x \right )}^{2}}{4}}{4 x^{6} \log {\left (x \right )}^{2}}} \]
[In]
[Out]
none
Time = 0.36 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.85 \[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=x e^{\left (-x - \frac {e^{\left (2 \, x\right )}}{4 \, x^{4}} - \frac {e^{x}}{4 \, x^{5}} - \frac {1}{16 \, x^{6}}\right )} \]
[In]
[Out]
\[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=\int { -\frac {{\left ({\left (2 \, x^{7} - 2 \, x^{6} + {\left (x^{3} - 2 \, x^{2}\right )} e^{\left (2 \, x\right )}\right )} \log \left (x^{2}\right )^{3} + {\left ({\left (x^{2} - 5 \, x\right )} e^{x} \log \left (x\right ) + x e^{x}\right )} \log \left (x^{2}\right )^{2} - {\left ({\left (2 \, x e^{x} - 1\right )} \log \left (x\right ) + 3 \, \log \left (x\right )^{2}\right )} \log \left (x^{2}\right ) - 2 \, \log \left (x\right )^{2}\right )} e^{\left (-\frac {2 \, x e^{x} \log \left (x^{2}\right ) \log \left (x\right ) + {\left (4 \, x^{7} + x^{2} e^{\left (2 \, x\right )}\right )} \log \left (x^{2}\right )^{2} + \log \left (x\right )^{2}}{4 \, x^{6} \log \left (x^{2}\right )^{2}}\right )}}{2 \, x^{6} \log \left (x^{2}\right )^{3}} \,d x } \]
[In]
[Out]
Time = 10.01 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.45 \[ \int \frac {e^{-\frac {\log ^2(x)+2 e^x x \log (x) \log \left (x^2\right )+\left (e^{2 x} x^2+4 x^7\right ) \log ^2\left (x^2\right )}{4 x^6 \log ^2\left (x^2\right )}} \left (2 \log ^2(x)+\left (\left (-1+2 e^x x\right ) \log (x)+3 \log ^2(x)\right ) \log \left (x^2\right )+\left (-e^x x+e^x \left (5 x-x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (2 x^6-2 x^7+e^{2 x} \left (2 x^2-x^3\right )\right ) \log ^3\left (x^2\right )\right )}{2 x^6 \log ^3\left (x^2\right )} \, dx=x\,{\mathrm {e}}^{-\frac {{\mathrm {e}}^x\,\ln \left (x\right )}{2\,x^5\,\ln \left (x^2\right )}}\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^{-\frac {{\ln \left (x\right )}^2}{4\,x^6\,{\ln \left (x^2\right )}^2}}\,{\mathrm {e}}^{-\frac {{\mathrm {e}}^{2\,x}}{4\,x^4}} \]
[In]
[Out]