\(\int \frac {-4 x^6+2 x^6 \log (2)+e^{4 x^2} (-4 x^2+2 x^2 \log (2))+e^{3 x^2} (-16 x^3+8 x^3 \log (2))+(-4 x^3-3 x^2 \log (2)) \log (4)+e^{2 x^2} (-24 x^4+12 x^4 \log (2)+(-2 x-4 x^3+(-1-4 x^2) \log (2)) \log (4))+e^{x^2} (-16 x^5+8 x^5 \log (2)+(-6 x^2-4 x^4+(-4 x-4 x^3) \log (2)) \log (4))}{16 x^6+16 x^7+4 x^8+e^{4 x^2} (16 x^2+16 x^3+4 x^4)+e^{3 x^2} (64 x^3+64 x^4+16 x^5)+(8 x^3+4 x^4) \log (4)+\log ^2(4)+e^{2 x^2} (96 x^4+96 x^5+24 x^6+(8 x+4 x^2) \log (4))+e^{x^2} (64 x^5+64 x^6+16 x^7+(16 x^2+8 x^3) \log (4))} \, dx\) [379]

   Optimal result
   Rubi [F(-1)]
   Mathematica [F]
   Maple [B] (verified)
   Fricas [B] (verification not implemented)
   Sympy [B] (verification not implemented)
   Maxima [B] (verification not implemented)
   Giac [B] (verification not implemented)
   Mupad [F(-1)]

Optimal result

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]

(-x-ln(2))/(2*x+2*ln(2)/(exp(x^2)+x)^2/x+4)

Rubi [F(-1)]

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]

Int[(-4*x^6 + 2*x^6*Log[2] + E^(4*x^2)*(-4*x^2 + 2*x^2*Log[2]) + E^(3*x^2)*(-16*x^3 + 8*x^3*Log[2]) + (-4*x^3
- 3*x^2*Log[2])*Log[4] + E^(2*x^2)*(-24*x^4 + 12*x^4*Log[2] + (-2*x - 4*x^3 + (-1 - 4*x^2)*Log[2])*Log[4]) + E
^x^2*(-16*x^5 + 8*x^5*Log[2] + (-6*x^2 - 4*x^4 + (-4*x - 4*x^3)*Log[2])*Log[4]))/(16*x^6 + 16*x^7 + 4*x^8 + E^
(4*x^2)*(16*x^2 + 16*x^3 + 4*x^4) + E^(3*x^2)*(64*x^3 + 64*x^4 + 16*x^5) + (8*x^3 + 4*x^4)*Log[4] + Log[4]^2 +
 E^(2*x^2)*(96*x^4 + 96*x^5 + 24*x^6 + (8*x + 4*x^2)*Log[4]) + E^x^2*(64*x^5 + 64*x^6 + 16*x^7 + (16*x^2 + 8*x
^3)*Log[4])),x]

[Out]

$Aborted

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*}

Mathematica [F]

\[ \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]

Integrate[(-4*x^6 + 2*x^6*Log[2] + E^(4*x^2)*(-4*x^2 + 2*x^2*Log[2]) + E^(3*x^2)*(-16*x^3 + 8*x^3*Log[2]) + (-
4*x^3 - 3*x^2*Log[2])*Log[4] + E^(2*x^2)*(-24*x^4 + 12*x^4*Log[2] + (-2*x - 4*x^3 + (-1 - 4*x^2)*Log[2])*Log[4
]) + E^x^2*(-16*x^5 + 8*x^5*Log[2] + (-6*x^2 - 4*x^4 + (-4*x - 4*x^3)*Log[2])*Log[4]))/(16*x^6 + 16*x^7 + 4*x^
8 + E^(4*x^2)*(16*x^2 + 16*x^3 + 4*x^4) + E^(3*x^2)*(64*x^3 + 64*x^4 + 16*x^5) + (8*x^3 + 4*x^4)*Log[4] + Log[
4]^2 + E^(2*x^2)*(96*x^4 + 96*x^5 + 24*x^6 + (8*x + 4*x^2)*Log[4]) + E^x^2*(64*x^5 + 64*x^6 + 16*x^7 + (16*x^2
 + 8*x^3)*Log[4])),x]

[Out]

Integrate[(-4*x^6 + 2*x^6*Log[2] + E^(4*x^2)*(-4*x^2 + 2*x^2*Log[2]) + E^(3*x^2)*(-16*x^3 + 8*x^3*Log[2]) + (-
4*x^3 - 3*x^2*Log[2])*Log[4] + E^(2*x^2)*(-24*x^4 + 12*x^4*Log[2] + (-2*x - 4*x^3 + (-1 - 4*x^2)*Log[2])*Log[4
]) + E^x^2*(-16*x^5 + 8*x^5*Log[2] + (-6*x^2 - 4*x^4 + (-4*x - 4*x^3)*Log[2])*Log[4]))/(16*x^6 + 16*x^7 + 4*x^
8 + E^(4*x^2)*(16*x^2 + 16*x^3 + 4*x^4) + E^(3*x^2)*(64*x^3 + 64*x^4 + 16*x^5) + (8*x^3 + 4*x^4)*Log[4] + Log[
4]^2 + E^(2*x^2)*(96*x^4 + 96*x^5 + 24*x^6 + (8*x + 4*x^2)*Log[4]) + E^x^2*(64*x^5 + 64*x^6 + 16*x^7 + (16*x^2
 + 8*x^3)*Log[4])), x]

Maple [B] (verified)

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]

int(((2*x^2*ln(2)-4*x^2)*exp(x^2)^4+(8*x^3*ln(2)-16*x^3)*exp(x^2)^3+(2*((-4*x^2-1)*ln(2)-4*x^3-2*x)*ln(2)+12*x
^4*ln(2)-24*x^4)*exp(x^2)^2+(2*((-4*x^3-4*x)*ln(2)-4*x^4-6*x^2)*ln(2)+8*x^5*ln(2)-16*x^5)*exp(x^2)+2*(-3*x^2*l
n(2)-4*x^3)*ln(2)+2*x^6*ln(2)-4*x^6)/((4*x^4+16*x^3+16*x^2)*exp(x^2)^4+(16*x^5+64*x^4+64*x^3)*exp(x^2)^3+(2*(4
*x^2+8*x)*ln(2)+24*x^6+96*x^5+96*x^4)*exp(x^2)^2+(2*(8*x^3+16*x^2)*ln(2)+16*x^7+64*x^6+64*x^5)*exp(x^2)+4*ln(2
)^2+2*(4*x^4+8*x^3)*ln(2)+4*x^8+16*x^7+16*x^6),x,method=_RETURNVERBOSE)

[Out]

1/(2+x)-1/2*ln(2)/(2+x)+1/2*ln(2)*(ln(2)+x)/(2+x)/(x^2*exp(x^2)^2+2*x^3*exp(x^2)+x^4+2*x*exp(x^2)^2+4*x^2*exp(
x^2)+2*x^3+ln(2))

Fricas [B] (verification not implemented)

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]

integrate(((2*x^2*log(2)-4*x^2)*exp(x^2)^4+(8*x^3*log(2)-16*x^3)*exp(x^2)^3+(2*((-4*x^2-1)*log(2)-4*x^3-2*x)*l
og(2)+12*x^4*log(2)-24*x^4)*exp(x^2)^2+(2*((-4*x^3-4*x)*log(2)-4*x^4-6*x^2)*log(2)+8*x^5*log(2)-16*x^5)*exp(x^
2)+2*(-3*x^2*log(2)-4*x^3)*log(2)+2*x^6*log(2)-4*x^6)/((4*x^4+16*x^3+16*x^2)*exp(x^2)^4+(16*x^5+64*x^4+64*x^3)
*exp(x^2)^3+(2*(4*x^2+8*x)*log(2)+24*x^6+96*x^5+96*x^4)*exp(x^2)^2+(2*(8*x^3+16*x^2)*log(2)+16*x^7+64*x^6+64*x
^5)*exp(x^2)+4*log(2)^2+2*(4*x^4+8*x^3)*log(2)+4*x^8+16*x^7+16*x^6),x, algorithm="fricas")

[Out]

1/2*(2*x^3 - (x*log(2) - 2*x)*e^(2*x^2) - 2*(x^2*log(2) - 2*x^2)*e^(x^2) - (x^3 - 1)*log(2))/(x^4 + 2*x^3 + (x
^2 + 2*x)*e^(2*x^2) + 2*(x^3 + 2*x^2)*e^(x^2) + log(2))

Sympy [B] (verification not implemented)

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]

integrate(((2*x**2*ln(2)-4*x**2)*exp(x**2)**4+(8*x**3*ln(2)-16*x**3)*exp(x**2)**3+(2*((-4*x**2-1)*ln(2)-4*x**3
-2*x)*ln(2)+12*x**4*ln(2)-24*x**4)*exp(x**2)**2+(2*((-4*x**3-4*x)*ln(2)-4*x**4-6*x**2)*ln(2)+8*x**5*ln(2)-16*x
**5)*exp(x**2)+2*(-3*x**2*ln(2)-4*x**3)*ln(2)+2*x**6*ln(2)-4*x**6)/((4*x**4+16*x**3+16*x**2)*exp(x**2)**4+(16*
x**5+64*x**4+64*x**3)*exp(x**2)**3+(2*(4*x**2+8*x)*ln(2)+24*x**6+96*x**5+96*x**4)*exp(x**2)**2+(2*(8*x**3+16*x
**2)*ln(2)+16*x**7+64*x**6+64*x**5)*exp(x**2)+4*ln(2)**2+2*(4*x**4+8*x**3)*ln(2)+4*x**8+16*x**7+16*x**6),x)

[Out]

(x*log(2) + log(2)**2)/(2*x**5 + 8*x**4 + 8*x**3 + 2*x*log(2) + (2*x**3 + 8*x**2 + 8*x)*exp(2*x**2) + (4*x**4
+ 16*x**3 + 16*x**2)*exp(x**2) + 4*log(2)) - (-2 + log(2))/(2*x + 4)

Maxima [B] (verification not implemented)

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]

integrate(((2*x^2*log(2)-4*x^2)*exp(x^2)^4+(8*x^3*log(2)-16*x^3)*exp(x^2)^3+(2*((-4*x^2-1)*log(2)-4*x^3-2*x)*l
og(2)+12*x^4*log(2)-24*x^4)*exp(x^2)^2+(2*((-4*x^3-4*x)*log(2)-4*x^4-6*x^2)*log(2)+8*x^5*log(2)-16*x^5)*exp(x^
2)+2*(-3*x^2*log(2)-4*x^3)*log(2)+2*x^6*log(2)-4*x^6)/((4*x^4+16*x^3+16*x^2)*exp(x^2)^4+(16*x^5+64*x^4+64*x^3)
*exp(x^2)^3+(2*(4*x^2+8*x)*log(2)+24*x^6+96*x^5+96*x^4)*exp(x^2)^2+(2*(8*x^3+16*x^2)*log(2)+16*x^7+64*x^6+64*x
^5)*exp(x^2)+4*log(2)^2+2*(4*x^4+8*x^3)*log(2)+4*x^8+16*x^7+16*x^6),x, algorithm="maxima")

[Out]

-1/2*(x^3*(log(2) - 2) + 2*x^2*(log(2) - 2)*e^(x^2) + x*(log(2) - 2)*e^(2*x^2) - log(2))/(x^4 + 2*x^3 + (x^2 +
 2*x)*e^(2*x^2) + 2*(x^3 + 2*x^2)*e^(x^2) + log(2))

Giac [B] (verification not implemented)

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]

integrate(((2*x^2*log(2)-4*x^2)*exp(x^2)^4+(8*x^3*log(2)-16*x^3)*exp(x^2)^3+(2*((-4*x^2-1)*log(2)-4*x^3-2*x)*l
og(2)+12*x^4*log(2)-24*x^4)*exp(x^2)^2+(2*((-4*x^3-4*x)*log(2)-4*x^4-6*x^2)*log(2)+8*x^5*log(2)-16*x^5)*exp(x^
2)+2*(-3*x^2*log(2)-4*x^3)*log(2)+2*x^6*log(2)-4*x^6)/((4*x^4+16*x^3+16*x^2)*exp(x^2)^4+(16*x^5+64*x^4+64*x^3)
*exp(x^2)^3+(2*(4*x^2+8*x)*log(2)+24*x^6+96*x^5+96*x^4)*exp(x^2)^2+(2*(8*x^3+16*x^2)*log(2)+16*x^7+64*x^6+64*x
^5)*exp(x^2)+4*log(2)^2+2*(4*x^4+8*x^3)*log(2)+4*x^8+16*x^7+16*x^6),x, algorithm="giac")

[Out]

-1/2*(x^4*log(2) + 2*x^3*e^(x^2)*log(2) - 2*x^4 - 4*x^3*e^(x^2) + 2*x^3*log(2) + x^2*e^(2*x^2)*log(2) + 4*x^2*
e^(x^2)*log(2) - 4*x^3 - 2*x^2*e^(2*x^2) - 8*x^2*e^(x^2) + 2*x*e^(2*x^2)*log(2) - 4*x*e^(2*x^2) - 2*x*log(2) -
 log(2)^2 - 2*log(2))/(x^5 + 2*x^4*e^(x^2) + 4*x^4 + x^3*e^(2*x^2) + 8*x^3*e^(x^2) + 4*x^3 + 4*x^2*e^(2*x^2) +
 8*x^2*e^(x^2) + 4*x*e^(2*x^2) + x*log(2) + 2*log(2))

Mupad [F(-1)]

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]

int(-(2*log(2)*(3*x^2*log(2) + 4*x^3) - exp(4*x^2)*(2*x^2*log(2) - 4*x^2) - exp(3*x^2)*(8*x^3*log(2) - 16*x^3)
 - 2*x^6*log(2) + exp(x^2)*(2*log(2)*(log(2)*(4*x + 4*x^3) + 6*x^2 + 4*x^4) - 8*x^5*log(2) + 16*x^5) + exp(2*x
^2)*(2*log(2)*(2*x + log(2)*(4*x^2 + 1) + 4*x^3) - 12*x^4*log(2) + 24*x^4) + 4*x^6)/(exp(2*x^2)*(2*log(2)*(8*x
 + 4*x^2) + 96*x^4 + 96*x^5 + 24*x^6) + exp(x^2)*(2*log(2)*(16*x^2 + 8*x^3) + 64*x^5 + 64*x^6 + 16*x^7) + 2*lo
g(2)*(8*x^3 + 4*x^4) + 4*log(2)^2 + 16*x^6 + 16*x^7 + 4*x^8 + exp(4*x^2)*(16*x^2 + 16*x^3 + 4*x^4) + exp(3*x^2
)*(64*x^3 + 64*x^4 + 16*x^5)),x)

[Out]

int(-(2*log(2)*(3*x^2*log(2) + 4*x^3) - exp(4*x^2)*(2*x^2*log(2) - 4*x^2) - exp(3*x^2)*(8*x^3*log(2) - 16*x^3)
 - 2*x^6*log(2) + exp(x^2)*(2*log(2)*(log(2)*(4*x + 4*x^3) + 6*x^2 + 4*x^4) - 8*x^5*log(2) + 16*x^5) + exp(2*x
^2)*(2*log(2)*(2*x + log(2)*(4*x^2 + 1) + 4*x^3) - 12*x^4*log(2) + 24*x^4) + 4*x^6)/(exp(2*x^2)*(2*log(2)*(8*x
 + 4*x^2) + 96*x^4 + 96*x^5 + 24*x^6) + exp(x^2)*(2*log(2)*(16*x^2 + 8*x^3) + 64*x^5 + 64*x^6 + 16*x^7) + 2*lo
g(2)*(8*x^3 + 4*x^4) + 4*log(2)^2 + 16*x^6 + 16*x^7 + 4*x^8 + exp(4*x^2)*(16*x^2 + 16*x^3 + 4*x^4) + exp(3*x^2
)*(64*x^3 + 64*x^4 + 16*x^5)), x)