\(\int \frac {e^{\frac {x+(1-x-x^2) \log (e^{2 x}+2 e^{3 x}+e^{4 x}+x)}{\log (e^{2 x}+2 e^{3 x}+e^{4 x}+x)}} (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+(e^{2 x}+2 e^{3 x}+e^{4 x}+x) \log (e^{2 x}+2 e^{3 x}+e^{4 x}+x)+(e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2) \log ^2(e^{2 x}+2 e^{3 x}+e^{4 x}+x))}{(e^{2 x}+2 e^{3 x}+e^{4 x}+x) \log ^2(e^{2 x}+2 e^{3 x}+e^{4 x}+x)} \, dx\) [7557]

Optimal result

Integrand size = 235, antiderivative size = 30 \[ \int \frac {e^{\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx=e^{1-x-x^2+\frac {x}{\log \left (\left (e^x+e^{2 x}\right )^2+x\right )}} \]

[Out]

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

Rubi [F]

\[ \int \frac {e^{\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx=\int \frac {\exp \left (\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx \]

[In]

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

[Out]

-Defer[Int][E^(1 - x - x^2 + x/Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x]), x] - 2*Defer[Int][E^(1 - x - x^2 + x/L
og[E^(2*x) + 2*E^(3*x) + E^(4*x) + x])*x, x] - 4*Defer[Int][(E^(1 - x - x^2 + x/Log[E^(2*x) + 2*E^(3*x) + E^(4
*x) + x])*x)/Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x]^2, x] - Defer[Int][(E^(1 - x - x^2 + x/Log[E^(2*x) + 2*E^(
3*x) + E^(4*x) + x])*x)/((E^(2*x) + 2*E^(3*x) + E^(4*x) + x)*Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x]^2), x] + 2
*Defer[Int][(E^(1 + x - x^2 + x/Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x])*x)/((E^(2*x) + 2*E^(3*x) + E^(4*x) + x
)*Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x]^2), x] + 2*Defer[Int][(E^(1 + 2*x - x^2 + x/Log[E^(2*x) + 2*E^(3*x) +
E^(4*x) + x])*x)/((E^(2*x) + 2*E^(3*x) + E^(4*x) + x)*Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x]^2), x] + 4*Defer
[Int][(E^(1 - x - x^2 + x/Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x])*x^2)/((E^(2*x) + 2*E^(3*x) + E^(4*x) + x)*Lo
g[E^(2*x) + 2*E^(3*x) + E^(4*x) + x]^2), x] + Defer[Int][E^(1 - x - x^2 + x/Log[E^(2*x) + 2*E^(3*x) + E^(4*x)
+ x])/Log[E^(2*x) + 2*E^(3*x) + E^(4*x) + x], x]

Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {\exp \left (\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) x \left (-1+2 e^{2 x}+2 e^{3 x}+4 x\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}+\frac {\exp \left (\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) \left (-4 x+\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )-\log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )-2 x \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) \, dx \\ & = \int \frac {\exp \left (\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) x \left (-1+2 e^{2 x}+2 e^{3 x}+4 x\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx+\int \frac {\exp \left (\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) \left (-4 x+\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )-\log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )-2 x \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx \\ & = \int \frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x \left (-1+2 e^{2 x}+2 e^{3 x}+4 x\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx+\int \frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-4 x+\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )-(1+2 x) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx \\ & = \int \left (-\frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}+\frac {2 e^{1+x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}+\frac {2 \exp \left (1+2 x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) x}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}+\frac {4 e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x^2}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) \, dx+\int \left (-e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}}-2 e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x-\frac {4 e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x}{\log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}+\frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}}}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) \, dx \\ & = -\left (2 \int e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x \, dx\right )+2 \int \frac {e^{1+x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx+2 \int \frac {\exp \left (1+2 x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}\right ) x}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx-4 \int \frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x}{\log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx+4 \int \frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x^2}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx-\int e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \, dx-\int \frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} x}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx+\int \frac {e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}}}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 0.18 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.20 \[ \int \frac {e^{\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx=e^{1-x-x^2+\frac {x}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \]

[In]

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

[Out]

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

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(59\) vs. \(2(27)=54\).

Time = 84.04 (sec) , antiderivative size = 60, normalized size of antiderivative = 2.00

method	result	size
parallelrisch	\({\mathrm e}^{\frac {\left (-x^{2}-x +1\right ) \ln \left ({\mathrm e}^{4 x}+2 \,{\mathrm e}^{x} {\mathrm e}^{2 x}+{\mathrm e}^{2 x}+x \right )+x}{\ln \left ({\mathrm e}^{4 x}+2 \,{\mathrm e}^{x} {\mathrm e}^{2 x}+{\mathrm e}^{2 x}+x \right )}}\)	\(60\)
risch	\({\mathrm e}^{-\frac {\ln \left ({\mathrm e}^{4 x}+2 \,{\mathrm e}^{3 x}+{\mathrm e}^{2 x}+x \right ) x^{2}+\ln \left ({\mathrm e}^{4 x}+2 \,{\mathrm e}^{3 x}+{\mathrm e}^{2 x}+x \right ) x -\ln \left ({\mathrm e}^{4 x}+2 \,{\mathrm e}^{3 x}+{\mathrm e}^{2 x}+x \right )-x}{\ln \left ({\mathrm e}^{4 x}+2 \,{\mathrm e}^{3 x}+{\mathrm e}^{2 x}+x \right )}}\)	\(86\)

[In]

int((((-1-2*x)*exp(2*x)^2+(-4*x-2)*exp(x)*exp(2*x)+(-1-2*x)*exp(x)^2-2*x^2-x)*ln(exp(2*x)^2+2*exp(x)*exp(2*x)+
exp(x)^2+x)^2+(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)*ln(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)-4*x*exp(2*
x)^2-6*x*exp(x)*exp(2*x)-2*x*exp(x)^2-x)*exp(((-x^2-x+1)*ln(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)+x)/ln(exp
(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x))/(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)/ln(exp(2*x)^2+2*exp(x)*exp(2*
x)+exp(x)^2+x)^2,x,method=_RETURNVERBOSE)

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.31 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.67 \[ \int \frac {e^{\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx=e^{\left (-\frac {{\left (x^{2} + x - 1\right )} \log \left (x + e^{\left (4 \, x\right )} + 2 \, e^{\left (3 \, x\right )} + e^{\left (2 \, x\right )}\right ) - x}{\log \left (x + e^{\left (4 \, x\right )} + 2 \, e^{\left (3 \, x\right )} + e^{\left (2 \, x\right )}\right )}\right )} \]

[In]

integrate((((-1-2*x)*exp(2*x)^2+(-4*x-2)*exp(x)*exp(2*x)+(-1-2*x)*exp(x)^2-2*x^2-x)*log(exp(2*x)^2+2*exp(x)*ex
p(2*x)+exp(x)^2+x)^2+(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)*log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)-4*
x*exp(2*x)^2-6*x*exp(x)*exp(2*x)-2*x*exp(x)^2-x)*exp(((-x^2-x+1)*log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)+
x)/log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x))/(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)/log(exp(2*x)^2+2*ex
p(x)*exp(2*x)+exp(x)^2+x)^2,x, algorithm="fricas")

[Out]

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

Sympy [F(-1)]

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

[In]

integrate((((-1-2*x)*exp(2*x)**2+(-4*x-2)*exp(x)*exp(2*x)+(-1-2*x)*exp(x)**2-2*x**2-x)*ln(exp(2*x)**2+2*exp(x)
*exp(2*x)+exp(x)**2+x)**2+(exp(2*x)**2+2*exp(x)*exp(2*x)+exp(x)**2+x)*ln(exp(2*x)**2+2*exp(x)*exp(2*x)+exp(x)*
*2+x)-4*x*exp(2*x)**2-6*x*exp(x)*exp(2*x)-2*x*exp(x)**2-x)*exp(((-x**2-x+1)*ln(exp(2*x)**2+2*exp(x)*exp(2*x)+e
xp(x)**2+x)+x)/ln(exp(2*x)**2+2*exp(x)*exp(2*x)+exp(x)**2+x))/(exp(2*x)**2+2*exp(x)*exp(2*x)+exp(x)**2+x)/ln(e
xp(2*x)**2+2*exp(x)*exp(2*x)+exp(x)**2+x)**2,x)

[Out]

Timed out

Maxima [F(-2)]

Exception generated. \[ \int \frac {e^{\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx=\text {Exception raised: RuntimeError} \]

[In]

integrate((((-1-2*x)*exp(2*x)^2+(-4*x-2)*exp(x)*exp(2*x)+(-1-2*x)*exp(x)^2-2*x^2-x)*log(exp(2*x)^2+2*exp(x)*ex
p(2*x)+exp(x)^2+x)^2+(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)*log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)-4*
x*exp(2*x)^2-6*x*exp(x)*exp(2*x)-2*x*exp(x)^2-x)*exp(((-x^2-x+1)*log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)+
x)/log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x))/(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)/log(exp(2*x)^2+2*ex
p(x)*exp(2*x)+exp(x)^2+x)^2,x, algorithm="maxima")

[Out]

Exception raised: RuntimeError >> ECL says: In function CAR, the value of the first argument is  0which is not
of the expected type LIST

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 85 vs. \(2 (27) = 54\).

Time = 0.65 (sec) , antiderivative size = 85, normalized size of antiderivative = 2.83 \[ \int \frac {e^{\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx=e^{\left (-\frac {x^{2} \log \left (x + e^{\left (4 \, x\right )} + 2 \, e^{\left (3 \, x\right )} + e^{\left (2 \, x\right )}\right ) + x \log \left (x + e^{\left (4 \, x\right )} + 2 \, e^{\left (3 \, x\right )} + e^{\left (2 \, x\right )}\right ) - x - \log \left (x + e^{\left (4 \, x\right )} + 2 \, e^{\left (3 \, x\right )} + e^{\left (2 \, x\right )}\right )}{\log \left (x + e^{\left (4 \, x\right )} + 2 \, e^{\left (3 \, x\right )} + e^{\left (2 \, x\right )}\right )}\right )} \]

[In]

integrate((((-1-2*x)*exp(2*x)^2+(-4*x-2)*exp(x)*exp(2*x)+(-1-2*x)*exp(x)^2-2*x^2-x)*log(exp(2*x)^2+2*exp(x)*ex
p(2*x)+exp(x)^2+x)^2+(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)*log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)-4*
x*exp(2*x)^2-6*x*exp(x)*exp(2*x)-2*x*exp(x)^2-x)*exp(((-x^2-x+1)*log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)+
x)/log(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x))/(exp(2*x)^2+2*exp(x)*exp(2*x)+exp(x)^2+x)/log(exp(2*x)^2+2*ex
p(x)*exp(2*x)+exp(x)^2+x)^2,x, algorithm="giac")

[Out]

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

Mupad [B] (verification not implemented)

Time = 13.78 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.17 \[ \int \frac {e^{\frac {x+\left (1-x-x^2\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}{\log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )}} \left (-x-2 e^{2 x} x-6 e^{3 x} x-4 e^{4 x} x+\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log \left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )+\left (e^{3 x} (-2-4 x)+e^{2 x} (-1-2 x)+e^{4 x} (-1-2 x)-x-2 x^2\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )\right )}{\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right ) \log ^2\left (e^{2 x}+2 e^{3 x}+e^{4 x}+x\right )} \, dx={\mathrm {e}}^{-x}\,\mathrm {e}\,{\mathrm {e}}^{-x^2}\,{\mathrm {e}}^{\frac {x}{\ln \left (x+{\mathrm {e}}^{2\,x}+2\,{\mathrm {e}}^{3\,x}+{\mathrm {e}}^{4\,x}\right )}} \]

[In]

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

[Out]

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