Integrand size = 316, antiderivative size = 31 \[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=\frac {-x-\log (2)}{4+2 x+\frac {\log (4)}{x \left (e^{x^2}+x\right )^2}} \]
[Out]
Timed out. \[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=\text {\$Aborted} \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {x^6 (-4+2 \log (2))+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx \\ & = \int \frac {\left (e^{x^2}+x\right ) \left (e^{3 x^2} x^2 (-4+\log (4))+x \left (x^4 (-4+\log (4))-4 x \log (4)-\log (4) \log (8)\right )+e^{x^2} \left (-2 x \log (4)-4 x^3 \log (4)-\log (2) \log (4)-4 x^2 \log (2) \log (4)+x^4 (-12+\log (64))\right )+e^{2 x^2} x^3 (-12+\log (64))\right )}{\left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )^2} \, dx \\ & = \int \left (\frac {-4+\log (4)}{4 (2+x)^2}+\frac {\log (4) \left (16 e^{x^2} x^7+16 x^8-32 x^5 \left (1-\frac {7 \log (2)}{4}\right )+64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )+64 x^7 \left (1+\frac {\log (2)}{4}\right )-32 x^4 \left (1+\frac {\log (2)}{2}\right )-32 e^{x^2} x^3 (1+\log (2))+56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )+56 x^6 \left (1+\frac {8 \log (2)}{7}\right )+8 x^3 \log (2) \log (4)+4 x (1+\log (2)) \log (4)-32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )+\log (4) \log (16)+4 x^2 \log (4) (1+\log (16))-4 e^{x^2} x^2 \log (256)\right )}{4 x (2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2}+\frac {-\log ^2(4)-x \log (4) \log (8)-x^3 \log (4) (8+\log (16))-x^4 \log (256)-x^2 \log (4) (2+\log (256))}{2 x (2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )}\right ) \, dx \\ & = \frac {4-\log (4)}{4 (2+x)}+\frac {1}{2} \int \frac {-\log ^2(4)-x \log (4) \log (8)-x^3 \log (4) (8+\log (16))-x^4 \log (256)-x^2 \log (4) (2+\log (256))}{x (2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )} \, dx+\frac {1}{4} \log (4) \int \frac {16 e^{x^2} x^7+16 x^8-32 x^5 \left (1-\frac {7 \log (2)}{4}\right )+64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )+64 x^7 \left (1+\frac {\log (2)}{4}\right )-32 x^4 \left (1+\frac {\log (2)}{2}\right )-32 e^{x^2} x^3 (1+\log (2))+56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )+56 x^6 \left (1+\frac {8 \log (2)}{7}\right )+8 x^3 \log (2) \log (4)+4 x (1+\log (2)) \log (4)-32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )+\log (4) \log (16)+4 x^2 \log (4) (1+\log (16))-4 e^{x^2} x^2 \log (256)}{x (2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2} \, dx \\ & = \frac {4-\log (4)}{4 (2+x)}+\frac {1}{2} \int \frac {-\log ^2(4)-x \log (4) \log (8)-x^3 \log (4) (8+\log (16))-x^4 \log (256)-x^2 \log (4) (2+\log (256))}{x (2+x)^2 \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )} \, dx+\frac {1}{4} \log (4) \int \frac {16 x^8-16 x^4 (2+\log (2))+16 x^7 (4+\log (2))+8 x^3 \log (2) \log (4)+4 x (1+\log (2)) \log (4)+\log (4) \log (16)+4 x^2 \log (4) (1+\log (16))+8 x^5 (-4+\log (128))+8 x^6 (7+\log (256))+2 e^{x^2} x^2 \left (8 x^5-16 x (1+\log (2))+8 x^4 (4+\log (2))+x^2 (-16+7 \log (16))-2 \log (256)+4 x^3 (7+\log (256))\right )}{x (2+x)^2 \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )^2} \, dx \\ & = \frac {4-\log (4)}{4 (2+x)}+\frac {1}{2} \int \left (-\frac {\log ^2(4)}{4 x \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )}-\frac {x \log (256)}{4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)}+\frac {120 \log (4)+\log ^2(4)-(48-\log (256)) \log (256)}{4 (2+x) \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )}-\frac {8 \log (4) \left (1+\frac {1}{8} \left (\log (16)-\frac {4 \log (256)}{\log (4)}\right )\right )}{4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)}+\frac {\log ^2(4)-\log (8) \log (16)+\log ^2(256)+\log (65536)-\log (16) \log (65536)}{2 (2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )}\right ) \, dx+\frac {1}{4} \log (4) \int \left (\frac {16 e^{x^2} x^7+16 x^8+64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )+64 x^7 \left (1+\frac {\log (2)}{4}\right )-32 x^4 \left (1+\frac {\log (2)}{2}\right )-32 e^{x^2} x^3 (1+\log (2))+56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )+56 x^6 \left (1+\frac {8 \log (2)}{7}\right )+8 x^3 \log (2) \log (4)+4 x (1+\log (2)) \log (4)-32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )+\log (4) \log (16)+4 x^2 \log (4) (1+\log (16))-32 x^5 \left (1-\frac {\log (128)}{4}\right )-4 e^{x^2} x^2 \log (256)}{4 x \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2}+\frac {-16 e^{x^2} x^7-16 x^8-64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )-64 x^7 \left (1+\frac {\log (2)}{4}\right )+32 x^4 \left (1+\frac {\log (2)}{2}\right )+32 e^{x^2} x^3 (1+\log (2))-56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )-56 x^6 \left (1+\frac {8 \log (2)}{7}\right )-8 x^3 \log (2) \log (4)-4 x (1+\log (2)) \log (4)+32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )-\log (4) \log (16)-4 x^2 \log (4) (1+\log (16))+32 x^5 \left (1-\frac {\log (128)}{4}\right )+4 e^{x^2} x^2 \log (256)}{2 (2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2}+\frac {-16 e^{x^2} x^7-16 x^8-64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )-64 x^7 \left (1+\frac {\log (2)}{4}\right )+32 x^4 \left (1+\frac {\log (2)}{2}\right )+32 e^{x^2} x^3 (1+\log (2))-56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )-56 x^6 \left (1+\frac {8 \log (2)}{7}\right )-8 x^3 \log (2) \log (4)-4 x (1+\log (2)) \log (4)+32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )-\log (4) \log (16)-4 x^2 \log (4) (1+\log (16))+32 x^5 \left (1-\frac {\log (128)}{4}\right )+4 e^{x^2} x^2 \log (256)}{4 (2+x) \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2}\right ) \, dx \\ & = \frac {4-\log (4)}{4 (2+x)}+\frac {1}{16} \log (4) \int \frac {16 e^{x^2} x^7+16 x^8+64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )+64 x^7 \left (1+\frac {\log (2)}{4}\right )-32 x^4 \left (1+\frac {\log (2)}{2}\right )-32 e^{x^2} x^3 (1+\log (2))+56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )+56 x^6 \left (1+\frac {8 \log (2)}{7}\right )+8 x^3 \log (2) \log (4)+4 x (1+\log (2)) \log (4)-32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )+\log (4) \log (16)+4 x^2 \log (4) (1+\log (16))-32 x^5 \left (1-\frac {\log (128)}{4}\right )-4 e^{x^2} x^2 \log (256)}{x \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2} \, dx+\frac {1}{16} \log (4) \int \frac {-16 e^{x^2} x^7-16 x^8-64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )-64 x^7 \left (1+\frac {\log (2)}{4}\right )+32 x^4 \left (1+\frac {\log (2)}{2}\right )+32 e^{x^2} x^3 (1+\log (2))-56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )-56 x^6 \left (1+\frac {8 \log (2)}{7}\right )-8 x^3 \log (2) \log (4)-4 x (1+\log (2)) \log (4)+32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )-\log (4) \log (16)-4 x^2 \log (4) (1+\log (16))+32 x^5 \left (1-\frac {\log (128)}{4}\right )+4 e^{x^2} x^2 \log (256)}{(2+x) \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2} \, dx+\frac {1}{8} \log (4) \int \frac {-16 e^{x^2} x^7-16 x^8-64 e^{x^2} x^6 \left (1+\frac {\log (2)}{4}\right )-64 x^7 \left (1+\frac {\log (2)}{4}\right )+32 x^4 \left (1+\frac {\log (2)}{2}\right )+32 e^{x^2} x^3 (1+\log (2))-56 e^{x^2} x^5 \left (1+\frac {8 \log (2)}{7}\right )-56 x^6 \left (1+\frac {8 \log (2)}{7}\right )-8 x^3 \log (2) \log (4)-4 x (1+\log (2)) \log (4)+32 e^{x^2} x^4 \left (1-\frac {7 \log (16)}{16}\right )-\log (4) \log (16)-4 x^2 \log (4) (1+\log (16))+32 x^5 \left (1-\frac {\log (128)}{4}\right )+4 e^{x^2} x^2 \log (256)}{(2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )^2} \, dx-\frac {1}{8} \log ^2(4) \int \frac {1}{x \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )} \, dx-\frac {1}{2} \log (256) \int \frac {x}{4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)} \, dx+\frac {1}{8} \left (120 \log (4)+\log ^2(4)-(48-\log (256)) \log (256)\right ) \int \frac {1}{(2+x) \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )} \, dx-\left (4 \log (4) \left (1+\frac {1}{8} \left (\log (16)-\frac {4 \log (256)}{\log (4)}\right )\right )\right ) \int \frac {1}{4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)} \, dx+\frac {1}{4} \left (\log ^2(4)-\log (8) \log (16)+\log ^2(256)+\log (65536)-\log (16) \log (65536)\right ) \int \frac {1}{(2+x)^2 \left (4 e^{2 x^2} x+8 e^{x^2} x^2+2 e^{2 x^2} x^2+4 x^3+4 e^{x^2} x^3+2 x^4+\log (4)\right )} \, dx \\ & = \frac {4-\log (4)}{4 (2+x)}+\frac {1}{16} \log (4) \int \frac {-16 x^8+16 x^4 (2+\log (2))-16 x^7 (4+\log (2))-8 x^3 \log (2) \log (4)-4 x (1+\log (2)) \log (4)-\log (4) \log (16)-4 x^2 \log (4) (1+\log (16))-8 x^5 (-4+\log (128))-8 x^6 (7+\log (256))-2 e^{x^2} x^2 \left (8 x^5-16 x (1+\log (2))+8 x^4 (4+\log (2))+x^2 (-16+7 \log (16))-2 \log (256)+4 x^3 (7+\log (256))\right )}{(2+x) \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )^2} \, dx+\frac {1}{16} \log (4) \int \frac {16 x^8-16 x^4 (2+\log (2))+16 x^7 (4+\log (2))+8 x^3 \log (2) \log (4)+4 x (1+\log (2)) \log (4)+\log (4) \log (16)+4 x^2 \log (4) (1+\log (16))+8 x^5 (-4+\log (128))+8 x^6 (7+\log (256))+2 e^{x^2} x^2 \left (8 x^5-16 x (1+\log (2))+8 x^4 (4+\log (2))+x^2 (-16+7 \log (16))-2 \log (256)+4 x^3 (7+\log (256))\right )}{x \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )^2} \, dx+\frac {1}{8} \log (4) \int \frac {-16 x^8+16 x^4 (2+\log (2))-16 x^7 (4+\log (2))-8 x^3 \log (2) \log (4)-4 x (1+\log (2)) \log (4)-\log (4) \log (16)-4 x^2 \log (4) (1+\log (16))-8 x^5 (-4+\log (128))-8 x^6 (7+\log (256))-2 e^{x^2} x^2 \left (8 x^5-16 x (1+\log (2))+8 x^4 (4+\log (2))+x^2 (-16+7 \log (16))-2 \log (256)+4 x^3 (7+\log (256))\right )}{(2+x)^2 \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )^2} \, dx-\frac {1}{8} \log ^2(4) \int \frac {1}{x \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )} \, dx-\frac {1}{2} \log (256) \int \frac {x}{4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)} \, dx+\frac {1}{8} \left (120 \log (4)+\log ^2(4)-(48-\log (256)) \log (256)\right ) \int \frac {1}{(2+x) \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )} \, dx-\left (4 \log (4) \left (1+\frac {1}{8} \left (\log (16)-\frac {4 \log (256)}{\log (4)}\right )\right )\right ) \int \frac {1}{4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)} \, dx+\frac {1}{4} \left (\log ^2(4)-\log (8) \log (16)+\log ^2(256)+\log (65536)-\log (16) \log (65536)\right ) \int \frac {1}{(2+x)^2 \left (4 x^3+2 x^4+2 e^{2 x^2} x (2+x)+4 e^{x^2} x^2 (2+x)+\log (4)\right )} \, dx \\ & = \text {Too large to display} \\ \end{align*}
\[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=\int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(78\) vs. \(2(31)=62\).
Time = 0.18 (sec) , antiderivative size = 79, normalized size of antiderivative = 2.55
method | result | size |
risch | \(\frac {1}{2+x}-\frac {\ln \left (2\right )}{2 \left (2+x \right )}+\frac {\ln \left (2\right ) \left (\ln \left (2\right )+x \right )}{2 \left (2+x \right ) \left (x^{2} {\mathrm e}^{2 x^{2}}+2 x^{3} {\mathrm e}^{x^{2}}+x^{4}+2 x \,{\mathrm e}^{2 x^{2}}+4 x^{2} {\mathrm e}^{x^{2}}+2 x^{3}+\ln \left (2\right )\right )}\) | \(79\) |
parallelrisch | \(-\frac {2 \ln \left (2\right ) {\mathrm e}^{x^{2}} x^{2}+x^{3} \ln \left (2\right )+\ln \left (2\right ) {\mathrm e}^{2 x^{2}} x -4 x^{2} {\mathrm e}^{x^{2}}-2 x^{3}-2 x \,{\mathrm e}^{2 x^{2}}-\ln \left (2\right )}{2 \left (x^{2} {\mathrm e}^{2 x^{2}}+2 x^{3} {\mathrm e}^{x^{2}}+x^{4}+2 x \,{\mathrm e}^{2 x^{2}}+4 x^{2} {\mathrm e}^{x^{2}}+2 x^{3}+\ln \left (2\right )\right )}\) | \(108\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 93 vs. \(2 (25) = 50\).
Time = 0.28 (sec) , antiderivative size = 93, normalized size of antiderivative = 3.00 \[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=\frac {2 \, x^{3} - {\left (x \log \left (2\right ) - 2 \, x\right )} e^{\left (2 \, x^{2}\right )} - 2 \, {\left (x^{2} \log \left (2\right ) - 2 \, x^{2}\right )} e^{\left (x^{2}\right )} - {\left (x^{3} - 1\right )} \log \left (2\right )}{2 \, {\left (x^{4} + 2 \, x^{3} + {\left (x^{2} + 2 \, x\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{3} + 2 \, x^{2}\right )} e^{\left (x^{2}\right )} + \log \left (2\right )\right )}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 87 vs. \(2 (26) = 52\).
Time = 0.30 (sec) , antiderivative size = 87, normalized size of antiderivative = 2.81 \[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=\frac {x \log {\left (2 \right )} + \log {\left (2 \right )}^{2}}{2 x^{5} + 8 x^{4} + 8 x^{3} + 2 x \log {\left (2 \right )} + \left (2 x^{3} + 8 x^{2} + 8 x\right ) e^{2 x^{2}} + \left (4 x^{4} + 16 x^{3} + 16 x^{2}\right ) e^{x^{2}} + 4 \log {\left (2 \right )}} - \frac {-2 + \log {\left (2 \right )}}{2 x + 4} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 82 vs. \(2 (25) = 50\).
Time = 0.36 (sec) , antiderivative size = 82, normalized size of antiderivative = 2.65 \[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=-\frac {x^{3} {\left (\log \left (2\right ) - 2\right )} + 2 \, x^{2} {\left (\log \left (2\right ) - 2\right )} e^{\left (x^{2}\right )} + x {\left (\log \left (2\right ) - 2\right )} e^{\left (2 \, x^{2}\right )} - \log \left (2\right )}{2 \, {\left (x^{4} + 2 \, x^{3} + {\left (x^{2} + 2 \, x\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{3} + 2 \, x^{2}\right )} e^{\left (x^{2}\right )} + \log \left (2\right )\right )}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 205 vs. \(2 (25) = 50\).
Time = 3.24 (sec) , antiderivative size = 205, normalized size of antiderivative = 6.61 \[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=-\frac {x^{4} \log \left (2\right ) + 2 \, x^{3} e^{\left (x^{2}\right )} \log \left (2\right ) - 2 \, x^{4} - 4 \, x^{3} e^{\left (x^{2}\right )} + 2 \, x^{3} \log \left (2\right ) + x^{2} e^{\left (2 \, x^{2}\right )} \log \left (2\right ) + 4 \, x^{2} e^{\left (x^{2}\right )} \log \left (2\right ) - 4 \, x^{3} - 2 \, x^{2} e^{\left (2 \, x^{2}\right )} - 8 \, x^{2} e^{\left (x^{2}\right )} + 2 \, x e^{\left (2 \, x^{2}\right )} \log \left (2\right ) - 4 \, x e^{\left (2 \, x^{2}\right )} - 2 \, x \log \left (2\right ) - \log \left (2\right )^{2} - 2 \, \log \left (2\right )}{2 \, {\left (x^{5} + 2 \, x^{4} e^{\left (x^{2}\right )} + 4 \, x^{4} + x^{3} e^{\left (2 \, x^{2}\right )} + 8 \, x^{3} e^{\left (x^{2}\right )} + 4 \, x^{3} + 4 \, x^{2} e^{\left (2 \, x^{2}\right )} + 8 \, x^{2} e^{\left (x^{2}\right )} + 4 \, x e^{\left (2 \, x^{2}\right )} + x \log \left (2\right ) + 2 \, \log \left (2\right )\right )}} \]
[In]
[Out]
Timed out. \[ \int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} \left (-4 x^2+2 x^2 \log (2)\right )+e^{3 x^2} \left (-16 x^3+8 x^3 \log (2)\right )+\left (-4 x^3-3 x^2 \log (2)\right ) \log (4)+e^{2 x^2} \left (-24 x^4+12 x^4 \log (2)+\left (-2 x-4 x^3+\left (-1-4 x^2\right ) \log (2)\right ) \log (4)\right )+e^{x^2} \left (-16 x^5+8 x^5 \log (2)+\left (-6 x^2-4 x^4+\left (-4 x-4 x^3\right ) \log (2)\right ) \log (4)\right )}{16 x^6+16 x^7+4 x^8+e^{4 x^2} \left (16 x^2+16 x^3+4 x^4\right )+e^{3 x^2} \left (64 x^3+64 x^4+16 x^5\right )+\left (8 x^3+4 x^4\right ) \log (4)+\log ^2(4)+e^{2 x^2} \left (96 x^4+96 x^5+24 x^6+\left (8 x+4 x^2\right ) \log (4)\right )+e^{x^2} \left (64 x^5+64 x^6+16 x^7+\left (16 x^2+8 x^3\right ) \log (4)\right )} \, dx=\int -\frac {2\,\ln \left (2\right )\,\left (4\,x^3+3\,\ln \left (2\right )\,x^2\right )-{\mathrm {e}}^{4\,x^2}\,\left (2\,x^2\,\ln \left (2\right )-4\,x^2\right )-{\mathrm {e}}^{3\,x^2}\,\left (8\,x^3\,\ln \left (2\right )-16\,x^3\right )-2\,x^6\,\ln \left (2\right )+{\mathrm {e}}^{x^2}\,\left (2\,\ln \left (2\right )\,\left (\ln \left (2\right )\,\left (4\,x^3+4\,x\right )+6\,x^2+4\,x^4\right )-8\,x^5\,\ln \left (2\right )+16\,x^5\right )+{\mathrm {e}}^{2\,x^2}\,\left (2\,\ln \left (2\right )\,\left (2\,x+\ln \left (2\right )\,\left (4\,x^2+1\right )+4\,x^3\right )-12\,x^4\,\ln \left (2\right )+24\,x^4\right )+4\,x^6}{{\mathrm {e}}^{2\,x^2}\,\left (2\,\ln \left (2\right )\,\left (4\,x^2+8\,x\right )+96\,x^4+96\,x^5+24\,x^6\right )+{\mathrm {e}}^{x^2}\,\left (2\,\ln \left (2\right )\,\left (8\,x^3+16\,x^2\right )+64\,x^5+64\,x^6+16\,x^7\right )+2\,\ln \left (2\right )\,\left (4\,x^4+8\,x^3\right )+4\,{\ln \left (2\right )}^2+16\,x^6+16\,x^7+4\,x^8+{\mathrm {e}}^{4\,x^2}\,\left (4\,x^4+16\,x^3+16\,x^2\right )+{\mathrm {e}}^{3\,x^2}\,\left (16\,x^5+64\,x^4+64\,x^3\right )} \,d x \]
[In]
[Out]