\(\int \frac {48+e^{2 e^{\frac {x^2}{2}}} (4+e^{3+x} (-1+x))+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} (4 x^2-e^{3+x} x^2))}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} (28 x-7 e^{3+x} x)+e^{2 e^{\frac {x^2}{2}}} (-4 x+e^{3+x} x)} \, dx\) [3907]

Optimal result

Integrand size = 153, antiderivative size = 36 \[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=-2+\log \left (\frac {4-e^{3+x}}{x+\frac {x}{3-e^{e^{\frac {x^2}{2}}}}}\right ) \]

[Out]

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

Rubi [F]

\[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=\int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx \]

[In]

Int[(48 + E^(2*E^(x^2/2))*(4 + E^(3 + x)*(-1 + x)) + E^(3 + x)*(-12 + 12*x) + E^E^(x^2/2)*(-28 + E^(3 + x)*(7
- 7*x) + E^(x^2/2)*(4*x^2 - E^(3 + x)*x^2)))/(-48*x + 12*E^(3 + x)*x + E^E^(x^2/2)*(28*x - 7*E^(3 + x)*x) + E^
(2*E^(x^2/2))*(-4*x + E^(3 + x)*x)),x]

[Out]

x + Log[3 - E^E^(x^2/2)] - Log[4 - E^E^(x^2/2)] + 16*Defer[Int][(-4 + E^E^(x^2/2))^(-1), x] - 9*Defer[Int][(-3
+ E^E^(x^2/2))^(-1), x] + 4*Defer[Int][E^(2*E^(x^2/2))/((-4 + E^E^(x^2/2))*(-4 + E^(3 + x))), x] + 12*Defer[I
nt][E^(3 + x)/((-4 + E^E^(x^2/2))*(-4 + E^(3 + x))), x] - 7*Defer[Int][E^(3 + E^(x^2/2) + x)/((-4 + E^E^(x^2/2
))*(-4 + E^(3 + x))), x] - 4*Defer[Int][E^(2*E^(x^2/2))/((-3 + E^E^(x^2/2))*(-4 + E^(3 + x))), x] - 12*Defer[I
nt][E^(3 + x)/((-3 + E^E^(x^2/2))*(-4 + E^(3 + x))), x] + 7*Defer[Int][E^(3 + E^(x^2/2) + x)/((-3 + E^E^(x^2/2
))*(-4 + E^(3 + x))), x] + 48*Defer[Int][1/((3 - E^E^(x^2/2))*(-4 + E^(3 + x))*x), x] - 28*Defer[Int][E^E^(x^2
/2)/((3 - E^E^(x^2/2))*(-4 + E^(3 + x))*x), x] + 48*Defer[Int][1/((-4 + E^E^(x^2/2))*(-4 + E^(3 + x))*x), x] -
28*Defer[Int][E^E^(x^2/2)/((-4 + E^E^(x^2/2))*(-4 + E^(3 + x))*x), x] - 12*Defer[Int][E^(3 + x)/((-4 + E^E^(x
^2/2))*(-4 + E^(3 + x))*x), x] + 7*Defer[Int][E^(3 + E^(x^2/2) + x)/((-4 + E^E^(x^2/2))*(-4 + E^(3 + x))*x), x
] + 12*Defer[Int][E^(3 + x)/((-3 + E^E^(x^2/2))*(-4 + E^(3 + x))*x), x] - 7*Defer[Int][E^(3 + E^(x^2/2) + x)/(
(-3 + E^E^(x^2/2))*(-4 + E^(3 + x))*x), x] - Defer[Subst][Defer[Int][E^(2*E^(x/2))/((-4 + E^E^(x/2))*x), x], x
, x^2]/2 + Defer[Subst][Defer[Int][E^(2*E^(x/2))/((-3 + E^E^(x/2))*x), x], x, x^2]/2

Rubi steps \begin{align*} \text {integral}& = \int \frac {-48-e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )-e^{3+x} (-12+12 x)-e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{\left (12-7 e^{e^{\frac {x^2}{2}}}+e^{2 e^{\frac {x^2}{2}}}\right ) \left (4-e^{3+x}\right ) x} \, dx \\ & = \int \left (\frac {48}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}-\frac {28 e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}+\frac {12 e^{3+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}-\frac {7 e^{3+e^{\frac {x^2}{2}}+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}+\frac {e^{\frac {1}{2} \left (2 e^{\frac {x^2}{2}}+x^2\right )} x}{-12+7 e^{e^{\frac {x^2}{2}}}-e^{2 e^{\frac {x^2}{2}}}}+\frac {e^{2 e^{\frac {x^2}{2}}} \left (4-e^{3+x}+e^{3+x} x\right )}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx \\ & = -\left (7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx\right )+12 \int \frac {e^{3+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \frac {e^{\frac {1}{2} \left (2 e^{\frac {x^2}{2}}+x^2\right )} x}{-12+7 e^{e^{\frac {x^2}{2}}}-e^{2 e^{\frac {x^2}{2}}}} \, dx+\int \frac {e^{2 e^{\frac {x^2}{2}}} \left (4-e^{3+x}+e^{3+x} x\right )}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {e^{\frac {1}{2} \left (2 e^{x/2}+x\right )}}{-12+7 e^{e^{x/2}}-e^{2 e^{x/2}}} \, dx,x,x^2\right )-7 \int \left (\frac {e^{3+e^{\frac {x^2}{2}}+x} (-1+x)}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}+\frac {e^{3+e^{\frac {x^2}{2}}+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx+12 \int \left (\frac {e^{3+x} (-1+x)}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}+\frac {e^{3+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx-28 \int \left (\frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}+\frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx+48 \int \left (\frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}+\frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx+\int \left (\frac {e^{2 e^{\frac {x^2}{2}}} \left (4-e^{3+x}+e^{3+x} x\right )}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}+\frac {e^{2 e^{\frac {x^2}{2}}} \left (4-e^{3+x}+e^{3+x} x\right )}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx \\ & = -\left (7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x} (-1+x)}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx\right )-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x} (-1+x)}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \frac {e^{2 e^{\frac {x^2}{2}}} \left (4-e^{3+x}+e^{3+x} x\right )}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \frac {e^{2 e^{\frac {x^2}{2}}} \left (4-e^{3+x}+e^{3+x} x\right )}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\text {Subst}\left (\int \frac {e^{e^x+x}}{-12+7 e^{e^x}-e^{2 e^x}} \, dx,x,\frac {x^2}{2}\right ) \\ & = -\left (7 \int \left (\frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )}-\frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx\right )-7 \int \left (-\frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )}+\frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx+12 \int \left (\frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )}-\frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx+12 \int \left (-\frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )}+\frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x}\right ) \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \left (\frac {4 e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )}+\frac {e^{2 e^{\frac {x^2}{2}}} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) x}\right ) \, dx+\int \left (-\frac {4 e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )}-\frac {e^{2 e^{\frac {x^2}{2}}} (-1+x)}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) x}\right ) \, dx+\text {Subst}\left (\int \frac {e^x}{-12+7 e^x-e^{2 x}} \, dx,x,e^{\frac {x^2}{2}}\right ) \\ & = 4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \frac {e^{2 e^{\frac {x^2}{2}}} (-1+x)}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) x} \, dx-\int \frac {e^{2 e^{\frac {x^2}{2}}} (-1+x)}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) x} \, dx+\text {Subst}\left (\int \frac {1}{-12+7 x-x^2} \, dx,x,e^{e^{\frac {x^2}{2}}}\right ) \\ & = 4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \left (\frac {e^{2 e^{\frac {x^2}{2}}}}{-4+e^{e^{\frac {x^2}{2}}}}-\frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) x}\right ) \, dx-\int \left (\frac {e^{2 e^{\frac {x^2}{2}}}}{-3+e^{e^{\frac {x^2}{2}}}}-\frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) x}\right ) \, dx-\text {Subst}\left (\int \frac {1}{3-x} \, dx,x,e^{e^{\frac {x^2}{2}}}\right )+\text {Subst}\left (\int \frac {1}{4-x} \, dx,x,e^{e^{\frac {x^2}{2}}}\right ) \\ & = \log \left (3-e^{e^{\frac {x^2}{2}}}\right )-\log \left (4-e^{e^{\frac {x^2}{2}}}\right )+4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \frac {e^{2 e^{\frac {x^2}{2}}}}{-4+e^{e^{\frac {x^2}{2}}}} \, dx-\int \frac {e^{2 e^{\frac {x^2}{2}}}}{-3+e^{e^{\frac {x^2}{2}}}} \, dx-\int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) x} \, dx+\int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) x} \, dx \\ & = \log \left (3-e^{e^{\frac {x^2}{2}}}\right )-\log \left (4-e^{e^{\frac {x^2}{2}}}\right )-\frac {1}{2} \text {Subst}\left (\int \frac {e^{2 e^{x/2}}}{\left (-4+e^{e^{x/2}}\right ) x} \, dx,x,x^2\right )+\frac {1}{2} \text {Subst}\left (\int \frac {e^{2 e^{x/2}}}{\left (-3+e^{e^{x/2}}\right ) x} \, dx,x,x^2\right )+4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+\int \left (4+e^{e^{\frac {x^2}{2}}}+\frac {16}{-4+e^{e^{\frac {x^2}{2}}}}\right ) \, dx-\int \left (3+e^{e^{\frac {x^2}{2}}}+\frac {9}{-3+e^{e^{\frac {x^2}{2}}}}\right ) \, dx \\ & = x+\log \left (3-e^{e^{\frac {x^2}{2}}}\right )-\log \left (4-e^{e^{\frac {x^2}{2}}}\right )-\frac {1}{2} \text {Subst}\left (\int \frac {e^{2 e^{x/2}}}{\left (-4+e^{e^{x/2}}\right ) x} \, dx,x,x^2\right )+\frac {1}{2} \text {Subst}\left (\int \frac {e^{2 e^{x/2}}}{\left (-3+e^{e^{x/2}}\right ) x} \, dx,x,x^2\right )+4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-4 \int \frac {e^{2 e^{\frac {x^2}{2}}}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx+7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-7 \int \frac {e^{3+e^{\frac {x^2}{2}}+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-9 \int \frac {1}{-3+e^{e^{\frac {x^2}{2}}}} \, dx+12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right )} \, dx-12 \int \frac {e^{3+x}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+12 \int \frac {e^{3+x}}{\left (-3+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+16 \int \frac {1}{-4+e^{e^{\frac {x^2}{2}}}} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx-28 \int \frac {e^{e^{\frac {x^2}{2}}}}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (3-e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx+48 \int \frac {1}{\left (-4+e^{e^{\frac {x^2}{2}}}\right ) \left (-4+e^{3+x}\right ) x} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 0.14 (sec) , antiderivative size = 49, normalized size of antiderivative = 1.36 \[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=\log \left (3-e^{e^{\frac {x^2}{2}}}\right )-\log \left (4-e^{e^{\frac {x^2}{2}}}\right )+\log \left (4-e^{3+x}\right )-\log (x) \]

[In]

Integrate[(48 + E^(2*E^(x^2/2))*(4 + E^(3 + x)*(-1 + x)) + E^(3 + x)*(-12 + 12*x) + E^E^(x^2/2)*(-28 + E^(3 +
x)*(7 - 7*x) + E^(x^2/2)*(4*x^2 - E^(3 + x)*x^2)))/(-48*x + 12*E^(3 + x)*x + E^E^(x^2/2)*(28*x - 7*E^(3 + x)*x
) + E^(2*E^(x^2/2))*(-4*x + E^(3 + x)*x)),x]

[Out]

Log[3 - E^E^(x^2/2)] - Log[4 - E^E^(x^2/2)] + Log[4 - E^(3 + x)] - Log[x]

Maple [A] (verified)

Time = 3.55 (sec) , antiderivative size = 35, normalized size of antiderivative = 0.97

method	result	size
parallelrisch	\(-\ln \left (x \right )+\ln \left ({\mathrm e}^{3+x}-4\right )-\ln \left ({\mathrm e}^{{\mathrm e}^{\frac {x^{2}}{2}}}-4\right )+\ln \left ({\mathrm e}^{{\mathrm e}^{\frac {x^{2}}{2}}}-3\right )\)	\(35\)
risch	\(-\ln \left (x \right )-3+\ln \left ({\mathrm e}^{3+x}-4\right )+\ln \left ({\mathrm e}^{{\mathrm e}^{\frac {x^{2}}{2}}}-3\right )-\ln \left ({\mathrm e}^{{\mathrm e}^{\frac {x^{2}}{2}}}-4\right )\)	\(36\)

[In]

int((((-1+x)*exp(3+x)+4)*exp(exp(1/2*x^2))^2+((-x^2*exp(3+x)+4*x^2)*exp(1/2*x^2)+(-7*x+7)*exp(3+x)-28)*exp(exp
(1/2*x^2))+(12*x-12)*exp(3+x)+48)/((exp(3+x)*x-4*x)*exp(exp(1/2*x^2))^2+(-7*exp(3+x)*x+28*x)*exp(exp(1/2*x^2))
+12*exp(3+x)*x-48*x),x,method=_RETURNVERBOSE)

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 34, normalized size of antiderivative = 0.94 \[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=-\log \left (x\right ) + \log \left (e^{\left (x + 3\right )} - 4\right ) + \log \left (e^{\left (e^{\left (\frac {1}{2} \, x^{2}\right )}\right )} - 3\right ) - \log \left (e^{\left (e^{\left (\frac {1}{2} \, x^{2}\right )}\right )} - 4\right ) \]

[In]

integrate((((-1+x)*exp(3+x)+4)*exp(exp(1/2*x^2))^2+((-x^2*exp(3+x)+4*x^2)*exp(1/2*x^2)+(-7*x+7)*exp(3+x)-28)*e
xp(exp(1/2*x^2))+(12*x-12)*exp(3+x)+48)/((exp(3+x)*x-4*x)*exp(exp(1/2*x^2))^2+(-7*exp(3+x)*x+28*x)*exp(exp(1/2
*x^2))+12*exp(3+x)*x-48*x),x, algorithm="fricas")

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.18 (sec) , antiderivative size = 34, normalized size of antiderivative = 0.94 \[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=- \log {\left (x \right )} + \log {\left (e^{x + 3} - 4 \right )} - \log {\left (e^{e^{\frac {x^{2}}{2}}} - 4 \right )} + \log {\left (e^{e^{\frac {x^{2}}{2}}} - 3 \right )} \]

[In]

integrate((((-1+x)*exp(3+x)+4)*exp(exp(1/2*x**2))**2+((-x**2*exp(3+x)+4*x**2)*exp(1/2*x**2)+(-7*x+7)*exp(3+x)-
28)*exp(exp(1/2*x**2))+(12*x-12)*exp(3+x)+48)/((exp(3+x)*x-4*x)*exp(exp(1/2*x**2))**2+(-7*exp(3+x)*x+28*x)*exp
(exp(1/2*x**2))+12*exp(3+x)*x-48*x),x)

[Out]

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

Maxima [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.03 \[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=\log \left ({\left (e^{\left (x + 3\right )} - 4\right )} e^{\left (-3\right )}\right ) - \log \left (x\right ) + \log \left (e^{\left (e^{\left (\frac {1}{2} \, x^{2}\right )}\right )} - 3\right ) - \log \left (e^{\left (e^{\left (\frac {1}{2} \, x^{2}\right )}\right )} - 4\right ) \]

[In]

integrate((((-1+x)*exp(3+x)+4)*exp(exp(1/2*x^2))^2+((-x^2*exp(3+x)+4*x^2)*exp(1/2*x^2)+(-7*x+7)*exp(3+x)-28)*e
xp(exp(1/2*x^2))+(12*x-12)*exp(3+x)+48)/((exp(3+x)*x-4*x)*exp(exp(1/2*x^2))^2+(-7*exp(3+x)*x+28*x)*exp(exp(1/2
*x^2))+12*exp(3+x)*x-48*x),x, algorithm="maxima")

[Out]

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

Giac [A] (verification not implemented)

none

Time = 1.55 (sec) , antiderivative size = 34, normalized size of antiderivative = 0.94 \[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=-\log \left (x\right ) + \log \left (e^{\left (x + 3\right )} - 4\right ) + \log \left (e^{\left (e^{\left (\frac {1}{2} \, x^{2}\right )}\right )} - 3\right ) - \log \left (e^{\left (e^{\left (\frac {1}{2} \, x^{2}\right )}\right )} - 4\right ) \]

[In]

integrate((((-1+x)*exp(3+x)+4)*exp(exp(1/2*x^2))^2+((-x^2*exp(3+x)+4*x^2)*exp(1/2*x^2)+(-7*x+7)*exp(3+x)-28)*e
xp(exp(1/2*x^2))+(12*x-12)*exp(3+x)+48)/((exp(3+x)*x-4*x)*exp(exp(1/2*x^2))^2+(-7*exp(3+x)*x+28*x)*exp(exp(1/2
*x^2))+12*exp(3+x)*x-48*x),x, algorithm="giac")

[Out]

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

Mupad [B] (verification not implemented)

Time = 9.62 (sec) , antiderivative size = 69, normalized size of antiderivative = 1.92 \[ \int \frac {48+e^{2 e^{\frac {x^2}{2}}} \left (4+e^{3+x} (-1+x)\right )+e^{3+x} (-12+12 x)+e^{e^{\frac {x^2}{2}}} \left (-28+e^{3+x} (7-7 x)+e^{\frac {x^2}{2}} \left (4 x^2-e^{3+x} x^2\right )\right )}{-48 x+12 e^{3+x} x+e^{e^{\frac {x^2}{2}}} \left (28 x-7 e^{3+x} x\right )+e^{2 e^{\frac {x^2}{2}}} \left (-4 x+e^{3+x} x\right )} \, dx=\ln \left ({\mathrm {e}}^3\,{\mathrm {e}}^x-4\right )-\ln \left (24\,x\,\sqrt {{\mathrm {e}}^{x^2}}-6\,x\,\sqrt {{\mathrm {e}}^{x^2}}\,{\mathrm {e}}^{\sqrt {{\mathrm {e}}^{x^2}}}\right )+\ln \left (8\,x\,\sqrt {{\mathrm {e}}^{x^2}}\,{\mathrm {e}}^{\sqrt {{\mathrm {e}}^{x^2}}}-24\,x\,\sqrt {{\mathrm {e}}^{x^2}}\right )-\ln \left (x\right ) \]

[In]

int(-(exp(2*exp(x^2/2))*(exp(x + 3)*(x - 1) + 4) - exp(exp(x^2/2))*(exp(x^2/2)*(x^2*exp(x + 3) - 4*x^2) + exp(
x + 3)*(7*x - 7) + 28) + exp(x + 3)*(12*x - 12) + 48)/(48*x + exp(2*exp(x^2/2))*(4*x - x*exp(x + 3)) - 12*x*ex
p(x + 3) - exp(exp(x^2/2))*(28*x - 7*x*exp(x + 3))),x)

[Out]

log(exp(3)*exp(x) - 4) - log(24*x*exp(x^2)^(1/2) - 6*x*exp(x^2)^(1/2)*exp(exp(x^2)^(1/2))) + log(8*x*exp(x^2)^
(1/2)*exp(exp(x^2)^(1/2)) - 24*x*exp(x^2)^(1/2)) - log(x)