\(\int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} (-20-6 x+2 x^2)+e^{1+x} (16-2 x-8 x^2+2 x^3)+e^{\frac {x^2}{4}} (-2 x+2 x^2+e^{1+x} (4-3 x^2)+e^{2+2 x} (-4+x^2))+(e^{2+2 x} (10-2 x)+e^{1+x} (-8+10 x-2 x^2)+e^{\frac {x^2}{4}} (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x))) \log (-4-e^{\frac {x^2}{4}}+x)}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx\) [266]

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

Optimal result

Integrand size = 210, antiderivative size = 35 \[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=8-\left (-2-x+e^{-1-x} x+\log \left (-4-e^{\frac {x^2}{4}}+x\right )\right )^2 \] Output:

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

Mathematica [F]

\[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=\int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx \] Input:

Integrate[(-8*x + 10*x^2 - 2*x^3 + E^(2 + 2*x)*(-20 - 6*x + 2*x^2) + E^(1 
+ x)*(16 - 2*x - 8*x^2 + 2*x^3) + E^(x^2/4)*(-2*x + 2*x^2 + E^(1 + x)*(4 - 
 3*x^2) + E^(2 + 2*x)*(-4 + x^2)) + (E^(2 + 2*x)*(10 - 2*x) + E^(1 + x)*(- 
8 + 10*x - 2*x^2) + E^(x^2/4)*(E^(2 + 2*x)*(2 - x) + E^(1 + x)*(-2 + 2*x)) 
)*Log[-4 - E^(x^2/4) + x])/(E^(2 + 2*x + x^2/4) + E^(2 + 2*x)*(4 - x)),x]
 

Output:

Integrate[(-8*x + 10*x^2 - 2*x^3 + E^(2 + 2*x)*(-20 - 6*x + 2*x^2) + E^(1 
+ x)*(16 - 2*x - 8*x^2 + 2*x^3) + E^(x^2/4)*(-2*x + 2*x^2 + E^(1 + x)*(4 - 
 3*x^2) + E^(2 + 2*x)*(-4 + x^2)) + (E^(2 + 2*x)*(10 - 2*x) + E^(1 + x)*(- 
8 + 10*x - 2*x^2) + E^(x^2/4)*(E^(2 + 2*x)*(2 - x) + E^(1 + x)*(-2 + 2*x)) 
)*Log[-4 - E^(x^2/4) + x])/(E^(2 + 2*x + x^2/4) + E^(2 + 2*x)*(4 - x)), x]
 

Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {-2 x^3+10 x^2+e^{2 x+2} \left (2 x^2-6 x-20\right )+e^{\frac {x^2}{4}} \left (2 x^2+e^{x+1} \left (4-3 x^2\right )+e^{2 x+2} \left (x^2-4\right )-2 x\right )+\left (e^{x+1} \left (-2 x^2+10 x-8\right )+e^{\frac {x^2}{4}} \left (e^{2 x+2} (2-x)+e^{x+1} (2 x-2)\right )+e^{2 x+2} (10-2 x)\right ) \log \left (-e^{\frac {x^2}{4}}+x-4\right )+e^{x+1} \left (2 x^3-8 x^2-2 x+16\right )-8 x}{e^{\frac {x^2}{4}+2 x+2}+e^{2 x+2} (4-x)} \, dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {e^{-2 x-2} \left (-2 e^{\frac {x^2}{4}} (x-1)+2 \left (x^2-5 x+4\right )+2 e^{x+1} (x-5)+e^{\frac {1}{4} (x+2)^2} (x-2)\right ) \left (-e^{x+1} \log \left (-e^{\frac {x^2}{4}}+x-4\right )-x+e^{x+1} (x+2)\right )}{e^{\frac {x^2}{4}}-x+4}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {e^{\frac {1}{4} (x+2)^2-2 x-2} (x-2) \left (-e^{x+1} \log \left (-e^{\frac {x^2}{4}}+x-4\right )+e^{x+1} x-x+2 e^{x+1}\right )}{e^{\frac {x^2}{4}}-x+4}-\frac {2 e^{-2 x-2} \left (-x^2+e^{\frac {x^2}{4}} x-e^{\frac {x^2}{4}}-e^{x+1} x+5 x+5 e^{x+1}-4\right ) \left (-e^{x+1} \log \left (-e^{\frac {x^2}{4}}+x-4\right )+e^{x+1} x-x+2 e^{x+1}\right )}{e^{\frac {x^2}{4}}-x+4}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {e^{-2 x-2} \left (-2 e^{\frac {x^2}{4}} (x-1)+2 \left (x^2-5 x+4\right )+2 e^{x+1} (x-5)+e^{\frac {1}{4} (x+2)^2} (x-2)\right ) \left (-e^{x+1} \log \left (-e^{\frac {x^2}{4}}+x-4\right )-x+e^{x+1} (x+2)\right )}{e^{\frac {x^2}{4}}-x+4}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {e^{\frac {1}{4} (x+2)^2-2 x-2} (x-2) \left (-e^{x+1} \log \left (-e^{\frac {x^2}{4}}+x-4\right )+e^{x+1} x-x+2 e^{x+1}\right )}{e^{\frac {x^2}{4}}-x+4}-\frac {2 e^{-2 x-2} \left (-x^2+e^{\frac {x^2}{4}} x-e^{\frac {x^2}{4}}-e^{x+1} x+5 x+5 e^{x+1}-4\right ) \left (-e^{x+1} \log \left (-e^{\frac {x^2}{4}}+x-4\right )+e^{x+1} x-x+2 e^{x+1}\right )}{e^{\frac {x^2}{4}}-x+4}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -e^{-2 x-2} x^2+e^{-x-1} x^2+4 e^{-x-1} x-2 e^{-x-1} \log \left (x-e^{\frac {x^2}{4}}-4\right )+2 e^{-x-1} (1-x) \log \left (x-e^{\frac {x^2}{4}}-4\right )+10 \log \left (x-e^{\frac {x^2}{4}}-4\right ) \int \frac {1}{-x+e^{\frac {x^2}{4}}+4}dx-20 \int \frac {1}{-x+e^{\frac {x^2}{4}}+4}dx+2 \log \left (x-e^{\frac {x^2}{4}}-4\right ) \int \frac {e^{\frac {x^2}{4}}}{-x+e^{\frac {x^2}{4}}+4}dx-4 \int \frac {e^{\frac {x^2}{4}}}{-x+e^{\frac {x^2}{4}}+4}dx-2 \log \left (x-e^{\frac {x^2}{4}}-4\right ) \int \frac {x}{-x+e^{\frac {x^2}{4}}+4}dx-6 \int \frac {x}{-x+e^{\frac {x^2}{4}}+4}dx+8 \int \frac {e^{-x-1} x}{-x+e^{\frac {x^2}{4}}+4}dx-\log \left (x-e^{\frac {x^2}{4}}-4\right ) \int \frac {e^{\frac {x^2}{4}} x}{-x+e^{\frac {x^2}{4}}+4}dx+2 \int \frac {e^{\frac {x^2}{4}-x-1} x}{-x+e^{\frac {x^2}{4}}+4}dx+2 \int \frac {x^2}{-x+e^{\frac {x^2}{4}}+4}dx-6 \int \frac {e^{-x-1} x^2}{-x+e^{\frac {x^2}{4}}+4}dx+\int \frac {e^{\frac {x^2}{4}} x^2}{-x+e^{\frac {x^2}{4}}+4}dx-\int \frac {e^{\frac {x^2}{4}-x-1} x^2}{-x+e^{\frac {x^2}{4}}+4}dx+\int \frac {e^{-x-1} x^3}{-x+e^{\frac {x^2}{4}}+4}dx+10 \int \frac {\int \frac {1}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx-5 \int x \int \frac {1}{-x+e^{\frac {x^2}{4}}+4}dxdx+20 \int \frac {x \int \frac {1}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx-5 \int \frac {x^2 \int \frac {1}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx+2 \int \frac {\int \frac {e^{\frac {x^2}{4}}}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx-\int x \int \frac {e^{\frac {x^2}{4}}}{-x+e^{\frac {x^2}{4}}+4}dxdx+4 \int \frac {x \int \frac {e^{\frac {x^2}{4}}}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx-\int \frac {x^2 \int \frac {e^{\frac {x^2}{4}}}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx-2 \int \frac {\int \frac {x}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx+\int x \int \frac {x}{-x+e^{\frac {x^2}{4}}+4}dxdx-4 \int \frac {x \int \frac {x}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx+\int \frac {x^2 \int \frac {x}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx-\int \frac {\int \frac {e^{\frac {x^2}{4}} x}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx+\frac {1}{2} \int x \int \frac {e^{\frac {x^2}{4}} x}{-x+e^{\frac {x^2}{4}}+4}dxdx-2 \int \frac {x \int \frac {e^{\frac {x^2}{4}} x}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx+\frac {1}{2} \int \frac {x^2 \int \frac {e^{\frac {x^2}{4}} x}{-x+e^{\frac {x^2}{4}}+4}dx}{-x+e^{\frac {x^2}{4}}+4}dx\)

Input:

Int[(-8*x + 10*x^2 - 2*x^3 + E^(2 + 2*x)*(-20 - 6*x + 2*x^2) + E^(1 + x)*( 
16 - 2*x - 8*x^2 + 2*x^3) + E^(x^2/4)*(-2*x + 2*x^2 + E^(1 + x)*(4 - 3*x^2 
) + E^(2 + 2*x)*(-4 + x^2)) + (E^(2 + 2*x)*(10 - 2*x) + E^(1 + x)*(-8 + 10 
*x - 2*x^2) + E^(x^2/4)*(E^(2 + 2*x)*(2 - x) + E^(1 + x)*(-2 + 2*x)))*Log[ 
-4 - E^(x^2/4) + x])/(E^(2 + 2*x + x^2/4) + E^(2 + 2*x)*(4 - x)),x]
 

Output:

$Aborted
 
Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(106\) vs. \(2(31)=62\).

Time = 0.73 (sec) , antiderivative size = 107, normalized size of antiderivative = 3.06

method result size
risch \(-x^{2}+2 x \ln \left (-{\mathrm e}^{\frac {x^{2}}{4}}+x -4\right )+2 x^{2} {\mathrm e}^{-1-x}+4 \ln \left ({\mathrm e}^{\frac {x^{2}}{4}}-x +4\right )-4 x +4 x \,{\mathrm e}^{-1-x}-2 x \,{\mathrm e}^{-1-x} \ln \left (-{\mathrm e}^{\frac {x^{2}}{4}}+x -4\right )-{\mathrm e}^{-2-2 x} x^{2}-\ln \left (-{\mathrm e}^{\frac {x^{2}}{4}}+x -4\right )^{2}\) \(107\)
parallelrisch \(\frac {\left (-2 x^{2} {\mathrm e}^{2+2 x}+4 \,{\mathrm e}^{2+2 x} \ln \left (-{\mathrm e}^{\frac {x^{2}}{4}}+x -4\right ) x -2 \ln \left (-{\mathrm e}^{\frac {x^{2}}{4}}+x -4\right )^{2} {\mathrm e}^{2+2 x}+8 \,{\mathrm e}^{2+2 x} \ln \left (-{\mathrm e}^{\frac {x^{2}}{4}}+x -4\right )+4 x^{2} {\mathrm e}^{1+x}-8 x \,{\mathrm e}^{2+2 x}-4 \,{\mathrm e}^{1+x} \ln \left (-{\mathrm e}^{\frac {x^{2}}{4}}+x -4\right ) x -2 x^{2}+8 x \,{\mathrm e}^{1+x}-32 \,{\mathrm e}^{2+2 x}\right ) {\mathrm e}^{-2-2 x}}{2}\) \(141\)

Input:

int(((((2-x)*exp(1+x)^2+(-2+2*x)*exp(1+x))*exp(1/4*x^2)+(-2*x+10)*exp(1+x) 
^2+(-2*x^2+10*x-8)*exp(1+x))*ln(-exp(1/4*x^2)+x-4)+((x^2-4)*exp(1+x)^2+(-3 
*x^2+4)*exp(1+x)+2*x^2-2*x)*exp(1/4*x^2)+(2*x^2-6*x-20)*exp(1+x)^2+(2*x^3- 
8*x^2-2*x+16)*exp(1+x)-2*x^3+10*x^2-8*x)/(exp(1+x)^2*exp(1/4*x^2)+(-x+4)*e 
xp(1+x)^2),x,method=_RETURNVERBOSE)
 

Output:

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

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 132 vs. \(2 (31) = 62\).

Time = 0.10 (sec) , antiderivative size = 132, normalized size of antiderivative = 3.77 \[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=-{\left (e^{\left (2 \, x + 2\right )} \log \left ({\left ({\left (x - 4\right )} e^{\left (2 \, x + 2\right )} - e^{\left (\frac {1}{4} \, x^{2} + 2 \, x + 2\right )}\right )} e^{\left (-2 \, x - 2\right )}\right )^{2} + x^{2} + {\left (x^{2} + 4 \, x\right )} e^{\left (2 \, x + 2\right )} - 2 \, {\left (x^{2} + 2 \, x\right )} e^{\left (x + 1\right )} - 2 \, {\left ({\left (x + 2\right )} e^{\left (2 \, x + 2\right )} - x e^{\left (x + 1\right )}\right )} \log \left ({\left ({\left (x - 4\right )} e^{\left (2 \, x + 2\right )} - e^{\left (\frac {1}{4} \, x^{2} + 2 \, x + 2\right )}\right )} e^{\left (-2 \, x - 2\right )}\right )\right )} e^{\left (-2 \, x - 2\right )} \] Input:

integrate(((((2-x)*exp(1+x)^2+(2*x-2)*exp(1+x))*exp(1/4*x^2)+(-2*x+10)*exp 
(1+x)^2+(-2*x^2+10*x-8)*exp(1+x))*log(-exp(1/4*x^2)+x-4)+((x^2-4)*exp(1+x) 
^2+(-3*x^2+4)*exp(1+x)+2*x^2-2*x)*exp(1/4*x^2)+(2*x^2-6*x-20)*exp(1+x)^2+( 
2*x^3-8*x^2-2*x+16)*exp(1+x)-2*x^3+10*x^2-8*x)/(exp(1+x)^2*exp(1/4*x^2)+(- 
x+4)*exp(1+x)^2),x, algorithm="fricas")
 

Output:

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

Sympy [F(-1)]

Timed out. \[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=\text {Timed out} \] Input:

integrate(((((2-x)*exp(1+x)**2+(2*x-2)*exp(1+x))*exp(1/4*x**2)+(-2*x+10)*e 
xp(1+x)**2+(-2*x**2+10*x-8)*exp(1+x))*ln(-exp(1/4*x**2)+x-4)+((x**2-4)*exp 
(1+x)**2+(-3*x**2+4)*exp(1+x)+2*x**2-2*x)*exp(1/4*x**2)+(2*x**2-6*x-20)*ex 
p(1+x)**2+(2*x**3-8*x**2-2*x+16)*exp(1+x)-2*x**3+10*x**2-8*x)/(exp(1+x)**2 
*exp(1/4*x**2)+(-x+4)*exp(1+x)**2),x)
 

Output:

Timed out
 

Maxima [F(-1)]

Timed out. \[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=\text {Timed out} \] Input:

integrate(((((2-x)*exp(1+x)^2+(2*x-2)*exp(1+x))*exp(1/4*x^2)+(-2*x+10)*exp 
(1+x)^2+(-2*x^2+10*x-8)*exp(1+x))*log(-exp(1/4*x^2)+x-4)+((x^2-4)*exp(1+x) 
^2+(-3*x^2+4)*exp(1+x)+2*x^2-2*x)*exp(1/4*x^2)+(2*x^2-6*x-20)*exp(1+x)^2+( 
2*x^3-8*x^2-2*x+16)*exp(1+x)-2*x^3+10*x^2-8*x)/(exp(1+x)^2*exp(1/4*x^2)+(- 
x+4)*exp(1+x)^2),x, algorithm="maxima")
 

Output:

Timed out
 

Giac [F]

\[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=\int { \frac {2 \, x^{3} - 10 \, x^{2} - {\left (2 \, x^{2} + {\left (x^{2} - 4\right )} e^{\left (2 \, x + 2\right )} - {\left (3 \, x^{2} - 4\right )} e^{\left (x + 1\right )} - 2 \, x\right )} e^{\left (\frac {1}{4} \, x^{2}\right )} - 2 \, {\left (x^{2} - 3 \, x - 10\right )} e^{\left (2 \, x + 2\right )} - 2 \, {\left (x^{3} - 4 \, x^{2} - x + 8\right )} e^{\left (x + 1\right )} + {\left ({\left ({\left (x - 2\right )} e^{\left (2 \, x + 2\right )} - 2 \, {\left (x - 1\right )} e^{\left (x + 1\right )}\right )} e^{\left (\frac {1}{4} \, x^{2}\right )} + 2 \, {\left (x - 5\right )} e^{\left (2 \, x + 2\right )} + 2 \, {\left (x^{2} - 5 \, x + 4\right )} e^{\left (x + 1\right )}\right )} \log \left (x - e^{\left (\frac {1}{4} \, x^{2}\right )} - 4\right ) + 8 \, x}{{\left (x - 4\right )} e^{\left (2 \, x + 2\right )} - e^{\left (\frac {1}{4} \, x^{2} + 2 \, x + 2\right )}} \,d x } \] Input:

integrate(((((2-x)*exp(1+x)^2+(2*x-2)*exp(1+x))*exp(1/4*x^2)+(-2*x+10)*exp 
(1+x)^2+(-2*x^2+10*x-8)*exp(1+x))*log(-exp(1/4*x^2)+x-4)+((x^2-4)*exp(1+x) 
^2+(-3*x^2+4)*exp(1+x)+2*x^2-2*x)*exp(1/4*x^2)+(2*x^2-6*x-20)*exp(1+x)^2+( 
2*x^3-8*x^2-2*x+16)*exp(1+x)-2*x^3+10*x^2-8*x)/(exp(1+x)^2*exp(1/4*x^2)+(- 
x+4)*exp(1+x)^2),x, algorithm="giac")
 

Output:

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

Mupad [F(-1)]

Timed out. \[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=\int -\frac {8\,x+\ln \left (x-{\mathrm {e}}^{\frac {x^2}{4}}-4\right )\,\left ({\mathrm {e}}^{x+1}\,\left (2\,x^2-10\,x+8\right )-{\mathrm {e}}^{\frac {x^2}{4}}\,\left ({\mathrm {e}}^{x+1}\,\left (2\,x-2\right )-{\mathrm {e}}^{2\,x+2}\,\left (x-2\right )\right )+{\mathrm {e}}^{2\,x+2}\,\left (2\,x-10\right )\right )+{\mathrm {e}}^{x+1}\,\left (-2\,x^3+8\,x^2+2\,x-16\right )+{\mathrm {e}}^{2\,x+2}\,\left (-2\,x^2+6\,x+20\right )+{\mathrm {e}}^{\frac {x^2}{4}}\,\left (2\,x+{\mathrm {e}}^{x+1}\,\left (3\,x^2-4\right )-{\mathrm {e}}^{2\,x+2}\,\left (x^2-4\right )-2\,x^2\right )-10\,x^2+2\,x^3}{{\mathrm {e}}^{2\,x+2}\,{\mathrm {e}}^{\frac {x^2}{4}}-{\mathrm {e}}^{2\,x+2}\,\left (x-4\right )} \,d x \] Input:

int(-(8*x + log(x - exp(x^2/4) - 4)*(exp(x + 1)*(2*x^2 - 10*x + 8) - exp(x 
^2/4)*(exp(x + 1)*(2*x - 2) - exp(2*x + 2)*(x - 2)) + exp(2*x + 2)*(2*x - 
10)) + exp(x + 1)*(2*x + 8*x^2 - 2*x^3 - 16) + exp(2*x + 2)*(6*x - 2*x^2 + 
 20) + exp(x^2/4)*(2*x + exp(x + 1)*(3*x^2 - 4) - exp(2*x + 2)*(x^2 - 4) - 
 2*x^2) - 10*x^2 + 2*x^3)/(exp(2*x + 2)*exp(x^2/4) - exp(2*x + 2)*(x - 4)) 
,x)
 

Output:

int(-(8*x + log(x - exp(x^2/4) - 4)*(exp(x + 1)*(2*x^2 - 10*x + 8) - exp(x 
^2/4)*(exp(x + 1)*(2*x - 2) - exp(2*x + 2)*(x - 2)) + exp(2*x + 2)*(2*x - 
10)) + exp(x + 1)*(2*x + 8*x^2 - 2*x^3 - 16) + exp(2*x + 2)*(6*x - 2*x^2 + 
 20) + exp(x^2/4)*(2*x + exp(x + 1)*(3*x^2 - 4) - exp(2*x + 2)*(x^2 - 4) - 
 2*x^2) - 10*x^2 + 2*x^3)/(exp(2*x + 2)*exp(x^2/4) - exp(2*x + 2)*(x - 4)) 
, x)
 

Reduce [B] (verification not implemented)

Time = 0.21 (sec) , antiderivative size = 149, normalized size of antiderivative = 4.26 \[ \int \frac {-8 x+10 x^2-2 x^3+e^{2+2 x} \left (-20-6 x+2 x^2\right )+e^{1+x} \left (16-2 x-8 x^2+2 x^3\right )+e^{\frac {x^2}{4}} \left (-2 x+2 x^2+e^{1+x} \left (4-3 x^2\right )+e^{2+2 x} \left (-4+x^2\right )\right )+\left (e^{2+2 x} (10-2 x)+e^{1+x} \left (-8+10 x-2 x^2\right )+e^{\frac {x^2}{4}} \left (e^{2+2 x} (2-x)+e^{1+x} (-2+2 x)\right )\right ) \log \left (-4-e^{\frac {x^2}{4}}+x\right )}{e^{2+2 x+\frac {x^2}{4}}+e^{2+2 x} (4-x)} \, dx=\frac {4 e^{2 x} \mathrm {log}\left (e^{\frac {x^{2}}{4}}-x +4\right ) e^{2}-e^{2 x} \mathrm {log}\left (-e^{\frac {x^{2}}{4}}+x -4\right )^{2} e^{2}+2 e^{2 x} \mathrm {log}\left (-e^{\frac {x^{2}}{4}}+x -4\right ) e^{2} x -e^{2 x} e^{2} x^{2}-4 e^{2 x} e^{2} x -2 e^{x} \mathrm {log}\left (-e^{\frac {x^{2}}{4}}+x -4\right ) e x +2 e^{x} e \,x^{2}+4 e^{x} e x -x^{2}}{e^{2 x} e^{2}} \] Input:

int(((((2-x)*exp(1+x)^2+(2*x-2)*exp(1+x))*exp(1/4*x^2)+(-2*x+10)*exp(1+x)^ 
2+(-2*x^2+10*x-8)*exp(1+x))*log(-exp(1/4*x^2)+x-4)+((x^2-4)*exp(1+x)^2+(-3 
*x^2+4)*exp(1+x)+2*x^2-2*x)*exp(1/4*x^2)+(2*x^2-6*x-20)*exp(1+x)^2+(2*x^3- 
8*x^2-2*x+16)*exp(1+x)-2*x^3+10*x^2-8*x)/(exp(1+x)^2*exp(1/4*x^2)+(-x+4)*e 
xp(1+x)^2),x)
 

Output:

(4*e**(2*x)*log(e**(x**2/4) - x + 4)*e**2 - e**(2*x)*log( - e**(x**2/4) + 
x - 4)**2*e**2 + 2*e**(2*x)*log( - e**(x**2/4) + x - 4)*e**2*x - e**(2*x)* 
e**2*x**2 - 4*e**(2*x)*e**2*x - 2*e**x*log( - e**(x**2/4) + x - 4)*e*x + 2 
*e**x*e*x**2 + 4*e**x*e*x - x**2)/(e**(2*x)*e**2)