Integrand size = 436, antiderivative size = 36 \[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx=-2-x+\left (e^{x^2}+x\right )^2 \left (-\left (-2+e^{e^{2 x}-x}\right )^2+x\right )^2 \]
[Out]
\[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx=\int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = -x+16 x^2-8 x^3+x^4+\int e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right ) \, dx+\int e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right ) \, dx+\int e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right ) \, dx+\int e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right ) \, dx+\int e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right ) \, dx+\int e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right ) \, dx \\ & = -x+16 x^2-8 x^3+x^4+\int 2 e^{4 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (1+4 e^{x (2+x)}+2 e^{x^2} (-1+x)-2 x+4 e^{2 x} x\right ) \, dx+\int \left (-8 e^{2 x^2}+66 e^{2 x^2} x-32 e^{2 x^2} x^2+4 e^{2 x^2} x^3\right ) \, dx+\int \left (32 e^{x^2}-32 e^{x^2} x+70 e^{x^2} x^2-32 e^{x^2} x^3+4 e^{x^2} x^4\right ) \, dx+\int 8 e^{3 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (-2-6 e^{x (2+x)}+3 x-6 e^{2 x} x-e^{x^2} (-3+4 x)\right ) \, dx+\int 2 e^{2 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (24-4 e^{x (2+x)} (-12+x)-27 x-4 e^{2 x} (-12+x) x+2 x^2-e^{x^2} \left (25-50 x+4 x^2\right )\right ) \, dx+\int 8 e^{e^{2 x}-x} \left (e^{x^2}+x\right ) \left (-8+2 e^{x (2+x)} (-4+x)+7 x+2 e^{2 x} (-4+x) x-x^2+e^{x^2} \left (5-17 x+4 x^2\right )\right ) \, dx \\ & = -x+16 x^2-8 x^3+x^4+2 \int e^{4 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (1+4 e^{x (2+x)}+2 e^{x^2} (-1+x)-2 x+4 e^{2 x} x\right ) \, dx+2 \int e^{2 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (24-4 e^{x (2+x)} (-12+x)-27 x-4 e^{2 x} (-12+x) x+2 x^2-e^{x^2} \left (25-50 x+4 x^2\right )\right ) \, dx+4 \int e^{2 x^2} x^3 \, dx+4 \int e^{x^2} x^4 \, dx-8 \int e^{2 x^2} \, dx+8 \int e^{3 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (-2-6 e^{x (2+x)}+3 x-6 e^{2 x} x-e^{x^2} (-3+4 x)\right ) \, dx+8 \int e^{e^{2 x}-x} \left (e^{x^2}+x\right ) \left (-8+2 e^{x (2+x)} (-4+x)+7 x+2 e^{2 x} (-4+x) x-x^2+e^{x^2} \left (5-17 x+4 x^2\right )\right ) \, dx+32 \int e^{x^2} \, dx-32 \int e^{x^2} x \, dx-32 \int e^{2 x^2} x^2 \, dx-32 \int e^{x^2} x^3 \, dx+66 \int e^{2 x^2} x \, dx+70 \int e^{x^2} x^2 \, dx \\ & = -16 e^{x^2}+\frac {33 e^{2 x^2}}{2}-x+35 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4+16 \sqrt {\pi } \text {erfi}(x)-2 \sqrt {2 \pi } \text {erfi}\left (\sqrt {2} x\right )-2 \int e^{2 x^2} x \, dx+2 \int \left (4 e^{4 \left (e^{2 x}-x\right )+2 x+x^2} \left (e^{x^2}+x\right )+e^{4 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (1-2 e^{x^2}-2 x+4 e^{2 x} x+2 e^{x^2} x\right )\right ) \, dx+2 \int \left (4 e^{2 \left (e^{2 x}-x\right )+2 x+x^2} (12-x) \left (e^{x^2}+x\right )-e^{2 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (-24+25 e^{x^2}+27 x-48 e^{2 x} x-50 e^{x^2} x-2 x^2+4 e^{2 x} x^2+4 e^{x^2} x^2\right )\right ) \, dx-6 \int e^{x^2} x^2 \, dx+8 \int e^{2 x^2} \, dx+8 \int \left (6 e^{3 \left (e^{2 x}-x\right )+2 x+x^2} \left (-e^{x^2}-x\right )-e^{3 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (2-3 e^{x^2}-3 x+6 e^{2 x} x+4 e^{x^2} x\right )\right ) \, dx+8 \int \left (2 e^{e^{2 x}+x+x^2} (4-x) \left (-e^{x^2}-x\right )+e^{e^{2 x}-x} \left (e^{x^2}+x\right ) \left (-8+5 e^{x^2}+7 x-8 e^{2 x} x-17 e^{x^2} x-x^2+2 e^{2 x} x^2+4 e^{x^2} x^2\right )\right ) \, dx+32 \int e^{x^2} x \, dx-35 \int e^{x^2} \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4-\frac {3}{2} \sqrt {\pi } \text {erfi}(x)+2 \int e^{4 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (1-2 e^{x^2}-2 x+4 e^{2 x} x+2 e^{x^2} x\right ) \, dx-2 \int e^{2 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (-24+25 e^{x^2}+27 x-48 e^{2 x} x-50 e^{x^2} x-2 x^2+4 e^{2 x} x^2+4 e^{x^2} x^2\right ) \, dx+3 \int e^{x^2} \, dx+8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} \left (e^{x^2}+x\right ) \, dx+8 \int e^{2 \left (e^{2 x}-x\right )+2 x+x^2} (12-x) \left (e^{x^2}+x\right ) \, dx-8 \int e^{3 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (2-3 e^{x^2}-3 x+6 e^{2 x} x+4 e^{x^2} x\right ) \, dx+8 \int e^{e^{2 x}-x} \left (e^{x^2}+x\right ) \left (-8+5 e^{x^2}+7 x-8 e^{2 x} x-17 e^{x^2} x-x^2+2 e^{2 x} x^2+4 e^{x^2} x^2\right ) \, dx+16 \int e^{e^{2 x}+x+x^2} (4-x) \left (-e^{x^2}-x\right ) \, dx+48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} \left (-e^{x^2}-x\right ) \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4+2 \int \left (2 e^{4 \left (e^{2 x}-x\right )+2 x^2} (-1+x)+e^{4 \left (e^{2 x}-x\right )} x \left (1-2 x+4 e^{2 x} x\right )+e^{4 \left (e^{2 x}-x\right )+x^2} \left (1-4 x+4 e^{2 x} x+2 x^2\right )\right ) \, dx-2 \int e^{2 \left (e^{2 x}-x\right )} \left (e^{x^2}+x\right ) \left (-24+27 x+4 e^{2 x} (-12+x) x-2 x^2+e^{x^2} \left (25-50 x+4 x^2\right )\right ) \, dx+8 \int e^{2 e^{2 x}+x^2} (12-x) \left (e^{x^2}+x\right ) \, dx+8 \int \left (e^{4 \left (e^{2 x}-x\right )+2 x+2 x^2}+e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x\right ) \, dx-8 \int \left (e^{3 \left (e^{2 x}-x\right )+2 x^2} (-3+4 x)+e^{3 \left (e^{2 x}-x\right )} x \left (2-3 x+6 e^{2 x} x\right )+2 e^{3 \left (e^{2 x}-x\right )+x^2} \left (1-3 x+3 e^{2 x} x+2 x^2\right )\right ) \, dx+8 \int e^{e^{2 x}-x} \left (e^{x^2}+x\right ) \left (-8+7 x+2 e^{2 x} (-4+x) x-x^2+e^{x^2} \left (5-17 x+4 x^2\right )\right ) \, dx+16 \int \left (e^{e^{2 x}+x+2 x^2} (-4+x)+e^{e^{2 x}+x+x^2} (-4+x) x\right ) \, dx+48 \int \left (-e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2}-e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x\right ) \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4+2 \int e^{4 \left (e^{2 x}-x\right )} x \left (1-2 x+4 e^{2 x} x\right ) \, dx+2 \int e^{4 \left (e^{2 x}-x\right )+x^2} \left (1-4 x+4 e^{2 x} x+2 x^2\right ) \, dx-2 \int \left (e^{2 \left (e^{2 x}-x\right )+2 x^2} \left (25-50 x+4 x^2\right )+e^{2 \left (e^{2 x}-x\right )} x \left (-24+27 x-48 e^{2 x} x-2 x^2+4 e^{2 x} x^2\right )+4 e^{2 \left (e^{2 x}-x\right )+x^2} \left (-6+13 x-12 e^{2 x} x-13 x^2+e^{2 x} x^2+x^3\right )\right ) \, dx+4 \int e^{4 \left (e^{2 x}-x\right )+2 x^2} (-1+x) \, dx+8 \int e^{4 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx+8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx-8 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} (-3+4 x) \, dx-8 \int e^{3 \left (e^{2 x}-x\right )} x \left (2-3 x+6 e^{2 x} x\right ) \, dx+8 \int \left (-e^{2 e^{2 x}+2 x^2} (-12+x)-e^{2 e^{2 x}+x^2} (-12+x) x\right ) \, dx+8 \int \left (e^{e^{2 x}-x+2 x^2} \left (5-17 x+4 x^2\right )+e^{e^{2 x}-x} x \left (-8+7 x-8 e^{2 x} x-x^2+2 e^{2 x} x^2\right )+2 e^{e^{2 x}-x+x^2} \left (-4+6 x-4 e^{2 x} x-9 x^2+e^{2 x} x^2+2 x^3\right )\right ) \, dx+16 \int e^{e^{2 x}+x+2 x^2} (-4+x) \, dx+16 \int e^{e^{2 x}+x+x^2} (-4+x) x \, dx-16 \int e^{3 \left (e^{2 x}-x\right )+x^2} \left (1-3 x+3 e^{2 x} x+2 x^2\right ) \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4-\frac {8 e^{3 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+\frac {e^{4 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}-2 \int e^{2 \left (e^{2 x}-x\right )+2 x^2} \left (25-50 x+4 x^2\right ) \, dx-2 \int e^{2 \left (e^{2 x}-x\right )} x \left (-24+27 x-48 e^{2 x} x-2 x^2+4 e^{2 x} x^2\right ) \, dx+2 \int \left (e^{4 \left (e^{2 x}-x\right )+x^2}-4 e^{4 \left (e^{2 x}-x\right )+x^2} x+4 e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x+2 e^{4 \left (e^{2 x}-x\right )+x^2} x^2\right ) \, dx+4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} (-1+x) \, dx+8 \int e^{2 \left (2 e^{2 x}-x+x^2\right )} \, dx-8 \int e^{2 e^{2 x}+2 x^2} (-12+x) \, dx+8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx-8 \int e^{2 e^{2 x}+x^2} (-12+x) x \, dx-8 \int \left (-3 e^{3 \left (e^{2 x}-x\right )+2 x^2}+4 e^{3 \left (e^{2 x}-x\right )+2 x^2} x\right ) \, dx+8 \int e^{e^{2 x}-x+2 x^2} \left (5-17 x+4 x^2\right ) \, dx+8 \int e^{e^{2 x}-x} x \left (-8+7 x-8 e^{2 x} x-x^2+2 e^{2 x} x^2\right ) \, dx-8 \int e^{2 \left (e^{2 x}-x\right )+x^2} \left (-6+13 x-12 e^{2 x} x-13 x^2+e^{2 x} x^2+x^3\right ) \, dx+16 \int \left (-4 e^{e^{2 x}+x+2 x^2}+e^{e^{2 x}+x+2 x^2} x\right ) \, dx-16 \int \left (e^{3 \left (e^{2 x}-x\right )+x^2}-3 e^{3 \left (e^{2 x}-x\right )+x^2} x+3 e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x+2 e^{3 \left (e^{2 x}-x\right )+x^2} x^2\right ) \, dx+16 \int \left (-4 e^{e^{2 x}+x+x^2} x+e^{e^{2 x}+x+x^2} x^2\right ) \, dx+16 \int e^{e^{2 x}-x+x^2} \left (-4+6 x-4 e^{2 x} x-9 x^2+e^{2 x} x^2+2 x^3\right ) \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4-\frac {8 e^{3 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+\frac {e^{4 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+2 \int e^{4 \left (e^{2 x}-x\right )+x^2} \, dx-2 \int e^{2 \left (e^{2 x}-x+x^2\right )} \left (25-50 x+4 x^2\right ) \, dx-2 \int \left (4 e^{2 \left (e^{2 x}-x\right )+2 x} (-12+x) x^2-e^{2 \left (e^{2 x}-x\right )} x \left (24-27 x+2 x^2\right )\right ) \, dx+4 \int e^{4 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+4 \int \left (-e^{2 \left (2 e^{2 x}-2 x+x^2\right )}+e^{2 \left (2 e^{2 x}-2 x+x^2\right )} x\right ) \, dx+8 \int e^{2 \left (2 e^{2 x}-x+x^2\right )} \, dx-8 \int e^{2 \left (e^{2 x}+x^2\right )} (-12+x) \, dx-8 \int e^{4 \left (e^{2 x}-x\right )+x^2} x \, dx+2 \left (8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-8 \int \left (-12 e^{2 e^{2 x}+x^2} x+e^{2 e^{2 x}+x^2} x^2\right ) \, dx+8 \int \left (5 e^{e^{2 x}-x+2 x^2}-17 e^{e^{2 x}-x+2 x^2} x+4 e^{e^{2 x}-x+2 x^2} x^2\right ) \, dx-8 \int \left (-6 e^{2 \left (e^{2 x}-x\right )+x^2}+13 e^{2 \left (e^{2 x}-x\right )+x^2} x-12 e^{2 \left (e^{2 x}-x\right )+2 x+x^2} x-13 e^{2 \left (e^{2 x}-x\right )+x^2} x^2+e^{2 \left (e^{2 x}-x\right )+2 x+x^2} x^2+e^{2 \left (e^{2 x}-x\right )+x^2} x^3\right ) \, dx+8 \int \left (2 e^{e^{2 x}+x} (-4+x) x^2-e^{e^{2 x}-x} x \left (8-7 x+x^2\right )\right ) \, dx-16 \int e^{3 \left (e^{2 x}-x\right )+x^2} \, dx+16 \int e^{e^{2 x}+x+2 x^2} x \, dx+16 \int e^{e^{2 x}+x+x^2} x^2 \, dx+16 \int \left (-4 e^{e^{2 x}-x+x^2}+6 e^{e^{2 x}-x+x^2} x-4 e^{e^{2 x}+x+x^2} x-9 e^{e^{2 x}-x+x^2} x^2+e^{e^{2 x}+x+x^2} x^2+2 e^{e^{2 x}-x+x^2} x^3\right ) \, dx+24 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} x \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+x^2} x^2 \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx+48 \int e^{3 \left (e^{2 x}-x\right )+x^2} x \, dx-2 \left (48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-64 \int e^{e^{2 x}+x+2 x^2} \, dx-64 \int e^{e^{2 x}+x+x^2} x \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4-\frac {8 e^{3 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+\frac {e^{4 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+2 \int e^{4 \left (e^{2 x}-x\right )+x^2} \, dx+2 \int e^{2 \left (e^{2 x}-x\right )} x \left (24-27 x+2 x^2\right ) \, dx-2 \int \left (25 e^{2 \left (e^{2 x}-x+x^2\right )}-50 e^{2 \left (e^{2 x}-x+x^2\right )} x+4 e^{2 \left (e^{2 x}-x+x^2\right )} x^2\right ) \, dx-4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} \, dx+4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} x \, dx+4 \int e^{4 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+8 \int e^{2 \left (2 e^{2 x}-x+x^2\right )} \, dx-8 \int e^{4 \left (e^{2 x}-x\right )+x^2} x \, dx+2 \left (8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-8 \int e^{2 e^{2 x}+x^2} x^2 \, dx-8 \int e^{2 \left (e^{2 x}-x\right )+2 x+x^2} x^2 \, dx-8 \int e^{2 \left (e^{2 x}-x\right )+2 x} (-12+x) x^2 \, dx-8 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^3 \, dx-8 \int \left (-12 e^{2 \left (e^{2 x}+x^2\right )}+e^{2 \left (e^{2 x}+x^2\right )} x\right ) \, dx-8 \int e^{e^{2 x}-x} x \left (8-7 x+x^2\right ) \, dx-16 \int e^{3 \left (e^{2 x}-x\right )+x^2} \, dx+16 \int e^{e^{2 x}+x+2 x^2} x \, dx+2 \left (16 \int e^{e^{2 x}+x+x^2} x^2 \, dx\right )+16 \int e^{e^{2 x}+x} (-4+x) x^2 \, dx+24 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} x \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+2 x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+x^2} x^3 \, dx+40 \int e^{e^{2 x}-x+2 x^2} \, dx+48 \int e^{2 \left (e^{2 x}-x\right )+x^2} \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx+48 \int e^{3 \left (e^{2 x}-x\right )+x^2} x \, dx-2 \left (48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-64 \int e^{e^{2 x}-x+x^2} \, dx-64 \int e^{e^{2 x}+x+2 x^2} \, dx-2 \left (64 \int e^{e^{2 x}+x+x^2} x \, dx\right )+96 \int e^{2 e^{2 x}+x^2} x \, dx+96 \int e^{e^{2 x}-x+x^2} x \, dx+96 \int e^{2 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx-104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x \, dx+104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^2 \, dx-136 \int e^{e^{2 x}-x+2 x^2} x \, dx-144 \int e^{e^{2 x}-x+x^2} x^2 \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4-\frac {8 e^{3 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+\frac {e^{4 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+2 \int e^{4 \left (e^{2 x}-x\right )+x^2} \, dx+2 \int \left (24 e^{2 \left (e^{2 x}-x\right )} x-27 e^{2 \left (e^{2 x}-x\right )} x^2+2 e^{2 \left (e^{2 x}-x\right )} x^3\right ) \, dx-4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} \, dx+4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} x \, dx+4 \int e^{4 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+8 \int e^{2 \left (2 e^{2 x}-x+x^2\right )} \, dx-8 \int e^{2 \left (e^{2 x}+x^2\right )} x \, dx-8 \int e^{4 \left (e^{2 x}-x\right )+x^2} x \, dx+2 \left (8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-2 \left (8 \int e^{2 e^{2 x}+x^2} x^2 \, dx\right )-8 \int e^{2 \left (e^{2 x}-x+x^2\right )} x^2 \, dx-8 \int e^{2 e^{2 x}} (-12+x) x^2 \, dx-8 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^3 \, dx-8 \int \left (8 e^{e^{2 x}-x} x-7 e^{e^{2 x}-x} x^2+e^{e^{2 x}-x} x^3\right ) \, dx-16 \int e^{3 \left (e^{2 x}-x\right )+x^2} \, dx+16 \int e^{e^{2 x}+x+2 x^2} x \, dx+2 \left (16 \int e^{e^{2 x}+x+x^2} x^2 \, dx\right )+16 \int \left (-4 e^{e^{2 x}+x} x^2+e^{e^{2 x}+x} x^3\right ) \, dx+24 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} x \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+2 x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+x^2} x^3 \, dx+40 \int e^{e^{2 x}-x+2 x^2} \, dx+48 \int e^{2 \left (e^{2 x}-x\right )+x^2} \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx+48 \int e^{3 \left (e^{2 x}-x\right )+x^2} x \, dx-2 \left (48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-50 \int e^{2 \left (e^{2 x}-x+x^2\right )} \, dx-64 \int e^{e^{2 x}-x+x^2} \, dx-64 \int e^{e^{2 x}+x+2 x^2} \, dx-2 \left (64 \int e^{e^{2 x}+x+x^2} x \, dx\right )+96 \int e^{2 \left (e^{2 x}+x^2\right )} \, dx+2 \left (96 \int e^{2 e^{2 x}+x^2} x \, dx\right )+96 \int e^{e^{2 x}-x+x^2} x \, dx+100 \int e^{2 \left (e^{2 x}-x+x^2\right )} x \, dx-104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x \, dx+104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^2 \, dx-136 \int e^{e^{2 x}-x+2 x^2} x \, dx-144 \int e^{e^{2 x}-x+x^2} x^2 \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4-\frac {8 e^{3 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+\frac {e^{4 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+2 \int e^{4 \left (e^{2 x}-x\right )+x^2} \, dx-4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} \, dx+4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} x \, dx+4 \int e^{4 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+4 \int e^{2 \left (e^{2 x}-x\right )} x^3 \, dx+8 \int e^{2 \left (2 e^{2 x}-x+x^2\right )} \, dx-8 \int e^{2 \left (e^{2 x}+x^2\right )} x \, dx-8 \int e^{4 \left (e^{2 x}-x\right )+x^2} x \, dx+2 \left (8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-2 \left (8 \int e^{2 e^{2 x}+x^2} x^2 \, dx\right )-8 \int e^{2 \left (e^{2 x}-x+x^2\right )} x^2 \, dx-8 \int e^{e^{2 x}-x} x^3 \, dx-8 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^3 \, dx-8 \int \left (-12 e^{2 e^{2 x}} x^2+e^{2 e^{2 x}} x^3\right ) \, dx-16 \int e^{3 \left (e^{2 x}-x\right )+x^2} \, dx+16 \int e^{e^{2 x}+x+2 x^2} x \, dx+2 \left (16 \int e^{e^{2 x}+x+x^2} x^2 \, dx\right )+16 \int e^{e^{2 x}+x} x^3 \, dx+24 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} x \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+2 x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+x^2} x^3 \, dx+40 \int e^{e^{2 x}-x+2 x^2} \, dx+48 \int e^{2 \left (e^{2 x}-x\right )+x^2} \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx+48 \int e^{2 \left (e^{2 x}-x\right )} x \, dx+48 \int e^{3 \left (e^{2 x}-x\right )+x^2} x \, dx-2 \left (48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-50 \int e^{2 \left (e^{2 x}-x+x^2\right )} \, dx-54 \int e^{2 \left (e^{2 x}-x\right )} x^2 \, dx+56 \int e^{e^{2 x}-x} x^2 \, dx-64 \int e^{e^{2 x}-x+x^2} \, dx-64 \int e^{e^{2 x}+x+2 x^2} \, dx-64 \int e^{e^{2 x}-x} x \, dx-2 \left (64 \int e^{e^{2 x}+x+x^2} x \, dx\right )-64 \int e^{e^{2 x}+x} x^2 \, dx+96 \int e^{2 \left (e^{2 x}+x^2\right )} \, dx+2 \left (96 \int e^{2 e^{2 x}+x^2} x \, dx\right )+96 \int e^{e^{2 x}-x+x^2} x \, dx+100 \int e^{2 \left (e^{2 x}-x+x^2\right )} x \, dx-104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x \, dx+104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^2 \, dx-136 \int e^{e^{2 x}-x+2 x^2} x \, dx-144 \int e^{e^{2 x}-x+x^2} x^2 \, dx \\ & = 16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4-\frac {8 e^{3 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+\frac {e^{4 \left (e^{2 x}-x\right )} x \left (x-2 e^{2 x} x\right )}{1-2 e^{2 x}}+2 \int e^{4 \left (e^{2 x}-x\right )+x^2} \, dx-4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} \, dx+4 \int e^{2 \left (2 e^{2 x}-2 x+x^2\right )} x \, dx+4 \int e^{4 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+4 \int e^{2 \left (e^{2 x}-x\right )} x^3 \, dx+8 \int e^{2 \left (2 e^{2 x}-x+x^2\right )} \, dx-8 \int e^{2 \left (e^{2 x}+x^2\right )} x \, dx-8 \int e^{4 \left (e^{2 x}-x\right )+x^2} x \, dx+2 \left (8 \int e^{4 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-2 \left (8 \int e^{2 e^{2 x}+x^2} x^2 \, dx\right )-8 \int e^{2 \left (e^{2 x}-x+x^2\right )} x^2 \, dx-8 \int e^{2 e^{2 x}} x^3 \, dx-8 \int e^{e^{2 x}-x} x^3 \, dx-8 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^3 \, dx-16 \int e^{3 \left (e^{2 x}-x\right )+x^2} \, dx+16 \int e^{e^{2 x}+x+2 x^2} x \, dx+2 \left (16 \int e^{e^{2 x}+x+x^2} x^2 \, dx\right )+16 \int e^{e^{2 x}+x} x^3 \, dx+24 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+2 x^2} x \, dx-32 \int e^{3 \left (e^{2 x}-x\right )+x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+2 x^2} x^2 \, dx+32 \int e^{e^{2 x}-x+x^2} x^3 \, dx+40 \int e^{e^{2 x}-x+2 x^2} \, dx+48 \int e^{2 \left (e^{2 x}-x\right )+x^2} \, dx-48 \int e^{3 \left (e^{2 x}-x\right )+2 x+2 x^2} \, dx+48 \int e^{2 \left (e^{2 x}-x\right )} x \, dx+48 \int e^{3 \left (e^{2 x}-x\right )+x^2} x \, dx-2 \left (48 \int e^{3 \left (e^{2 x}-x\right )+2 x+x^2} x \, dx\right )-50 \int e^{2 \left (e^{2 x}-x+x^2\right )} \, dx-54 \int e^{2 \left (e^{2 x}-x\right )} x^2 \, dx+56 \int e^{e^{2 x}-x} x^2 \, dx-64 \int e^{e^{2 x}-x+x^2} \, dx-64 \int e^{e^{2 x}+x+2 x^2} \, dx-64 \int e^{e^{2 x}-x} x \, dx-2 \left (64 \int e^{e^{2 x}+x+x^2} x \, dx\right )-64 \int e^{e^{2 x}+x} x^2 \, dx+96 \int e^{2 \left (e^{2 x}+x^2\right )} \, dx+2 \left (96 \int e^{2 e^{2 x}+x^2} x \, dx\right )+96 \int e^{e^{2 x}-x+x^2} x \, dx+96 \int e^{2 e^{2 x}} x^2 \, dx+100 \int e^{2 \left (e^{2 x}-x+x^2\right )} x \, dx-104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x \, dx+104 \int e^{2 \left (e^{2 x}-x\right )+x^2} x^2 \, dx-136 \int e^{e^{2 x}-x+2 x^2} x \, dx-144 \int e^{e^{2 x}-x+x^2} x^2 \, dx \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(321\) vs. \(2(36)=72\).
Time = 16.80 (sec) , antiderivative size = 321, normalized size of antiderivative = 8.92 \[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx=16 e^{2 x^2}-x+32 e^{x^2} x-8 e^{2 x^2} x+16 x^2-16 e^{x^2} x^2+e^{2 x^2} x^2-8 x^3+2 e^{x^2} x^3+x^4+\frac {2 e^{4 e^{2 x}-4 x} \left (e^{x^2}+x\right ) \left (-2 e^{x^2}+4 e^{2 x+x^2}-2 x+4 e^{2 x} x\right )}{-4+8 e^{2 x}}-\frac {8 e^{3 e^{2 x}-3 x} \left (e^{x^2}+x\right ) \left (-3 e^{x^2}+6 e^{2 x+x^2}-3 x+6 e^{2 x} x\right )}{-3+6 e^{2 x}}-2 e^{2 e^{2 x}} \left (e^{-2 x+2 x^2} (-12+x)+e^{-2 x+x^2} \left (-24 x+2 x^2\right )+e^{-2 x} \left (-12 x^2+x^3\right )\right )+8 e^{e^{2 x}} \left (e^{-x+2 x^2} (-4+x)+e^{-x+x^2} \left (-8 x+2 x^2\right )+e^{-x} \left (-4 x^2+x^3\right )\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(223\) vs. \(2(33)=66\).
Time = 0.44 (sec) , antiderivative size = 224, normalized size of antiderivative = 6.22
method | result | size |
risch | \(\left (x^{2}+2 \,{\mathrm e}^{x^{2}} x +{\mathrm e}^{2 x^{2}}\right ) {\mathrm e}^{4 \,{\mathrm e}^{2 x}-4 x}+\left (-8 x^{2}-16 \,{\mathrm e}^{x^{2}} x -8 \,{\mathrm e}^{2 x^{2}}\right ) {\mathrm e}^{3 \,{\mathrm e}^{2 x}-3 x}+\left (-2 x^{3}-4 x^{2} {\mathrm e}^{x^{2}}-2 x \,{\mathrm e}^{2 x^{2}}+24 x^{2}+48 \,{\mathrm e}^{x^{2}} x +24 \,{\mathrm e}^{2 x^{2}}\right ) {\mathrm e}^{2 \,{\mathrm e}^{2 x}-2 x}+\left (8 x^{3}+16 x^{2} {\mathrm e}^{x^{2}}+8 x \,{\mathrm e}^{2 x^{2}}-32 x^{2}-64 \,{\mathrm e}^{x^{2}} x -32 \,{\mathrm e}^{2 x^{2}}\right ) {\mathrm e}^{{\mathrm e}^{2 x}-x}+\left (x^{2}-8 x +16\right ) {\mathrm e}^{2 x^{2}}+\left (2 x^{3}-16 x^{2}+32 x \right ) {\mathrm e}^{x^{2}}+x^{4}-8 x^{3}+16 x^{2}-x\) | \(224\) |
parallelrisch | \(-x +{\mathrm e}^{2 x^{2}} x^{2}+2 x^{3} {\mathrm e}^{x^{2}}-8 x \,{\mathrm e}^{2 x^{2}}+32 \,{\mathrm e}^{x^{2}} x +16 \,{\mathrm e}^{2 x^{2}}+x^{4}-8 x^{3}+16 x^{2}-16 x^{2} {\mathrm e}^{x^{2}}+2 \,{\mathrm e}^{x^{2}} {\mathrm e}^{4 \,{\mathrm e}^{2 x}-4 x} x -16 \,{\mathrm e}^{x^{2}} {\mathrm e}^{3 \,{\mathrm e}^{2 x}-3 x} x +48 \,{\mathrm e}^{x^{2}} {\mathrm e}^{2 \,{\mathrm e}^{2 x}-2 x} x -64 \,{\mathrm e}^{x^{2}} {\mathrm e}^{{\mathrm e}^{2 x}-x} x -2 \,{\mathrm e}^{2 x^{2}} {\mathrm e}^{2 \,{\mathrm e}^{2 x}-2 x} x +8 \,{\mathrm e}^{2 x^{2}} {\mathrm e}^{{\mathrm e}^{2 x}-x} x -4 \,{\mathrm e}^{x^{2}} {\mathrm e}^{2 \,{\mathrm e}^{2 x}-2 x} x^{2}+16 \,{\mathrm e}^{x^{2}} {\mathrm e}^{{\mathrm e}^{2 x}-x} x^{2}-2 \,{\mathrm e}^{2 \,{\mathrm e}^{2 x}-2 x} x^{3}+8 \,{\mathrm e}^{{\mathrm e}^{2 x}-x} x^{3}+{\mathrm e}^{4 \,{\mathrm e}^{2 x}-4 x} x^{2}-8 \,{\mathrm e}^{3 \,{\mathrm e}^{2 x}-3 x} x^{2}+24 \,{\mathrm e}^{2 \,{\mathrm e}^{2 x}-2 x} x^{2}-32 \,{\mathrm e}^{{\mathrm e}^{2 x}-x} x^{2}+{\mathrm e}^{2 x^{2}} {\mathrm e}^{4 \,{\mathrm e}^{2 x}-4 x}-8 \,{\mathrm e}^{2 x^{2}} {\mathrm e}^{3 \,{\mathrm e}^{2 x}-3 x}+24 \,{\mathrm e}^{2 x^{2}} {\mathrm e}^{2 \,{\mathrm e}^{2 x}-2 x}-32 \,{\mathrm e}^{2 x^{2}} {\mathrm e}^{{\mathrm e}^{2 x}-x}\) | \(380\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 197 vs. \(2 (33) = 66\).
Time = 0.27 (sec) , antiderivative size = 197, normalized size of antiderivative = 5.47 \[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx=x^{4} - 8 \, x^{3} + 16 \, x^{2} + {\left (x^{2} - 8 \, x + 16\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{3} - 8 \, x^{2} + 16 \, x\right )} e^{\left (x^{2}\right )} + 8 \, {\left (x^{3} - 4 \, x^{2} + {\left (x - 4\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{2} - 4 \, x\right )} e^{\left (x^{2}\right )}\right )} e^{\left (-x + e^{\left (2 \, x\right )}\right )} - 2 \, {\left (x^{3} - 12 \, x^{2} + {\left (x - 12\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{2} - 12 \, x\right )} e^{\left (x^{2}\right )}\right )} e^{\left (-2 \, x + 2 \, e^{\left (2 \, x\right )}\right )} - 8 \, {\left (x^{2} + 2 \, x e^{\left (x^{2}\right )} + e^{\left (2 \, x^{2}\right )}\right )} e^{\left (-3 \, x + 3 \, e^{\left (2 \, x\right )}\right )} + {\left (x^{2} + 2 \, x e^{\left (x^{2}\right )} + e^{\left (2 \, x^{2}\right )}\right )} e^{\left (-4 \, x + 4 \, e^{\left (2 \, x\right )}\right )} - x \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 230 vs. \(2 (26) = 52\).
Time = 2.45 (sec) , antiderivative size = 230, normalized size of antiderivative = 6.39 \[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx=x^{4} - 8 x^{3} + 16 x^{2} - x + \left (- 8 x^{2} - 16 x e^{x^{2}} - 8 e^{2 x^{2}}\right ) e^{- 3 x + 3 e^{2 x}} + \left (x^{2} - 8 x + 16\right ) e^{2 x^{2}} + \left (x^{2} + 2 x e^{x^{2}} + e^{2 x^{2}}\right ) e^{- 4 x + 4 e^{2 x}} + \left (2 x^{3} - 16 x^{2} + 32 x\right ) e^{x^{2}} + \left (- 2 x^{3} - 4 x^{2} e^{x^{2}} + 24 x^{2} - 2 x e^{2 x^{2}} + 48 x e^{x^{2}} + 24 e^{2 x^{2}}\right ) e^{- 2 x + 2 e^{2 x}} + \left (8 x^{3} + 16 x^{2} e^{x^{2}} - 32 x^{2} + 8 x e^{2 x^{2}} - 64 x e^{x^{2}} - 32 e^{2 x^{2}}\right ) e^{- x + e^{2 x}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 197 vs. \(2 (33) = 66\).
Time = 0.22 (sec) , antiderivative size = 197, normalized size of antiderivative = 5.47 \[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx=x^{4} - 8 \, x^{3} + 16 \, x^{2} + {\left (x^{2} - 8 \, x + 16\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{3} - 8 \, x^{2} + 16 \, x\right )} e^{\left (x^{2}\right )} + 8 \, {\left (x^{3} - 4 \, x^{2} + {\left (x - 4\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{2} - 4 \, x\right )} e^{\left (x^{2}\right )}\right )} e^{\left (-x + e^{\left (2 \, x\right )}\right )} - 2 \, {\left (x^{3} - 12 \, x^{2} + {\left (x - 12\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{2} - 12 \, x\right )} e^{\left (x^{2}\right )}\right )} e^{\left (-2 \, x + 2 \, e^{\left (2 \, x\right )}\right )} - 8 \, {\left (x^{2} + 2 \, x e^{\left (x^{2}\right )} + e^{\left (2 \, x^{2}\right )}\right )} e^{\left (-3 \, x + 3 \, e^{\left (2 \, x\right )}\right )} + {\left (x^{2} + 2 \, x e^{\left (x^{2}\right )} + e^{\left (2 \, x^{2}\right )}\right )} e^{\left (-4 \, x + 4 \, e^{\left (2 \, x\right )}\right )} - x \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 383 vs. \(2 (33) = 66\).
Time = 0.31 (sec) , antiderivative size = 383, normalized size of antiderivative = 10.64 \[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx=x^{4} - 8 \, x^{3} + 16 \, x^{2} + {\left (x^{2} - 8 \, x + 16\right )} e^{\left (2 \, x^{2}\right )} + 2 \, {\left (x^{3} - 8 \, x^{2} + 16 \, x\right )} e^{\left (x^{2}\right )} - 8 \, {\left (x^{2} e^{\left (-2 \, x + 6 \, e^{\left (2 \, x\right )}\right )} + 2 \, x e^{\left (x^{2} - 2 \, x + 6 \, e^{\left (2 \, x\right )}\right )} + e^{\left (2 \, x^{2} - 2 \, x + 6 \, e^{\left (2 \, x\right )}\right )}\right )} e^{\left (-x - 3 \, e^{\left (2 \, x\right )}\right )} - 2 \, {\left (x^{3} e^{\left (4 \, e^{\left (2 \, x\right )}\right )} + 2 \, x^{2} e^{\left (x^{2} + 4 \, e^{\left (2 \, x\right )}\right )} - 12 \, x^{2} e^{\left (4 \, e^{\left (2 \, x\right )}\right )} + x e^{\left (2 \, x^{2} + 4 \, e^{\left (2 \, x\right )}\right )} - 24 \, x e^{\left (x^{2} + 4 \, e^{\left (2 \, x\right )}\right )} - 12 \, e^{\left (2 \, x^{2} + 4 \, e^{\left (2 \, x\right )}\right )}\right )} e^{\left (-2 \, x - 2 \, e^{\left (2 \, x\right )}\right )} + 8 \, {\left (x^{3} e^{\left (2 \, x + 2 \, e^{\left (2 \, x\right )}\right )} + 2 \, x^{2} e^{\left (x^{2} + 2 \, x + 2 \, e^{\left (2 \, x\right )}\right )} - 4 \, x^{2} e^{\left (2 \, x + 2 \, e^{\left (2 \, x\right )}\right )} + x e^{\left (2 \, x^{2} + 2 \, x + 2 \, e^{\left (2 \, x\right )}\right )} - 8 \, x e^{\left (x^{2} + 2 \, x + 2 \, e^{\left (2 \, x\right )}\right )} - 4 \, e^{\left (2 \, x^{2} + 2 \, x + 2 \, e^{\left (2 \, x\right )}\right )}\right )} e^{\left (-3 \, x - e^{\left (2 \, x\right )}\right )} + {\left (x^{2} e^{\left (-4 \, x + 8 \, e^{\left (2 \, x\right )}\right )} + 2 \, x e^{\left (x^{2} - 4 \, x + 8 \, e^{\left (2 \, x\right )}\right )} + e^{\left (2 \, x^{2} - 4 \, x + 8 \, e^{\left (2 \, x\right )}\right )}\right )} e^{\left (-4 \, e^{\left (2 \, x\right )}\right )} - x \]
[In]
[Out]
Time = 1.08 (sec) , antiderivative size = 225, normalized size of antiderivative = 6.25 \[ \int \left (-1+32 x-24 x^2+4 x^3+e^{2 x^2} \left (-8+66 x-32 x^2+4 x^3\right )+e^{x^2} \left (32-32 x+70 x^2-32 x^3+4 x^4\right )+e^{3 e^{2 x}-3 x} \left (e^{2 x^2} \left (24-48 e^{2 x}-32 x\right )-16 x+24 x^2-48 e^{2 x} x^2+e^{x^2} \left (-16+48 x-96 e^{2 x} x-32 x^2\right )\right )+e^{4 e^{2 x}-4 x} \left (2 x-4 x^2+8 e^{2 x} x^2+e^{2 x^2} \left (-4+8 e^{2 x}+4 x\right )+e^{x^2} \left (2-8 x+16 e^{2 x} x+4 x^2\right )\right )+e^{2 e^{2 x}-2 x} \left (48 x-54 x^2+4 x^3+e^{2 x^2} \left (-50+e^{2 x} (96-8 x)+100 x-8 x^2\right )+e^{2 x} \left (96 x^2-8 x^3\right )+e^{x^2} \left (48-104 x+104 x^2-8 x^3+e^{2 x} \left (192 x-16 x^2\right )\right )\right )+e^{e^{2 x}-x} \left (-64 x+56 x^2-8 x^3+e^{2 x} \left (-64 x^2+16 x^3\right )+e^{2 x^2} \left (40-136 x+32 x^2+e^{2 x} (-64+16 x)\right )+e^{x^2} \left (-64+96 x-144 x^2+32 x^3+e^{2 x} \left (-128 x+32 x^2\right )\right )\right )\right ) \, dx={\mathrm {e}}^{2\,x^2}\,\left (x^2-8\,x+16\right )-x-{\mathrm {e}}^{3\,{\mathrm {e}}^{2\,x}-3\,x}\,\left (8\,{\mathrm {e}}^{2\,x^2}+16\,x\,{\mathrm {e}}^{x^2}+8\,x^2\right )+{\mathrm {e}}^{x^2}\,\left (2\,x^3-16\,x^2+32\,x\right )+{\mathrm {e}}^{2\,{\mathrm {e}}^{2\,x}-2\,x}\,\left (24\,{\mathrm {e}}^{2\,x^2}+48\,x\,{\mathrm {e}}^{x^2}-2\,x\,{\mathrm {e}}^{2\,x^2}-4\,x^2\,{\mathrm {e}}^{x^2}+24\,x^2-2\,x^3\right )+{\mathrm {e}}^{4\,{\mathrm {e}}^{2\,x}-4\,x}\,\left ({\mathrm {e}}^{2\,x^2}+2\,x\,{\mathrm {e}}^{x^2}+x^2\right )+16\,x^2-8\,x^3+x^4-{\mathrm {e}}^{{\mathrm {e}}^{2\,x}-x}\,\left (32\,{\mathrm {e}}^{2\,x^2}+64\,x\,{\mathrm {e}}^{x^2}-8\,x\,{\mathrm {e}}^{2\,x^2}-16\,x^2\,{\mathrm {e}}^{x^2}+32\,x^2-8\,x^3\right ) \]
[In]
[Out]