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

Optimal result

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

[Out]

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

Rubi [F]

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

[In]

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

[Out]

x^2/2 + Defer[Int][(E^(-2 - 2*x)*x^4)^x^(-2), x]/2 + 2*Defer[Int][(E^(-2 - 2*x)*x^4)^x^(-2)/x^2, x] - Log[E^(-
2 - 2*x)*x^4]*Defer[Int][(E^(-2 - 2*x)*x^4)^x^(-2)/x^2, x] - Defer[Int][(E^(-2 - 2*x)*x^4)^x^(-2)/x, x] - 2*De
fer[Int][Defer[Int][(E^(-2 - 2*x)*x^4)^x^(-2)/x^2, x], x] + 4*Defer[Int][Defer[Int][(E^(-2 - 2*x)*x^4)^x^(-2)/
x^2, x]/x, x]

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

Mathematica [A] (verified)

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

[In]

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

[Out]

(x*(x + (x^4/E^(2*(1 + x)))^x^(-2)))/2

Maple [A] (verified)

Time = 0.24 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.18

method	result	size
default	\(\frac {{\mathrm e}^{\frac {\ln \left (x^{4} {\mathrm e}^{-2-2 x}\right )}{x^{2}}} x}{2}+\frac {x^{2}}{2}\)	\(26\)
parallelrisch	\(\frac {{\mathrm e}^{\frac {\ln \left (x^{4} {\mathrm e}^{-2-2 x}\right )}{x^{2}}} x}{2}+\frac {x^{2}}{2}\)	\(26\)
parts	\(\frac {{\mathrm e}^{\frac {\ln \left (x^{4} {\mathrm e}^{-2-2 x}\right )}{x^{2}}} x}{2}+\frac {x^{2}}{2}\)	\(26\)
risch	\(\frac {x^{2}}{2}+\frac {x \,x^{\frac {4}{x^{2}}} \left ({\mathrm e}^{1+x}\right )^{-\frac {2}{x^{2}}} {\mathrm e}^{-\frac {i \pi \left (-\operatorname {csgn}\left (i {\mathrm e}^{-2-2 x}\right ) \operatorname {csgn}\left (i x^{4} {\mathrm e}^{-2-2 x}\right )^{2}+\operatorname {csgn}\left (i {\mathrm e}^{-2-2 x}\right ) \operatorname {csgn}\left (i x^{4} {\mathrm e}^{-2-2 x}\right ) \operatorname {csgn}\left (i x^{4}\right )+\operatorname {csgn}\left (i x^{2}\right )^{3}-2 \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right )+\operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x \right )^{2}+\operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{3}\right )-\operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x^{3}\right )^{2}-\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{3}\right )^{2}+\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{3}\right ) \operatorname {csgn}\left (i x^{4}\right )-\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{4}\right )^{2}+\operatorname {csgn}\left (i x^{3}\right )^{3}-\operatorname {csgn}\left (i x^{3}\right ) \operatorname {csgn}\left (i x^{4}\right )^{2}+\operatorname {csgn}\left (i x^{4} {\mathrm e}^{-2-2 x}\right )^{3}-\operatorname {csgn}\left (i x^{4} {\mathrm e}^{-2-2 x}\right )^{2} \operatorname {csgn}\left (i x^{4}\right )+\operatorname {csgn}\left (i x^{4}\right )^{3}-\operatorname {csgn}\left (i {\mathrm e}^{2+2 x}\right )^{3}+2 \operatorname {csgn}\left (i {\mathrm e}^{2+2 x}\right )^{2} \operatorname {csgn}\left (i {\mathrm e}^{1+x}\right )-\operatorname {csgn}\left (i {\mathrm e}^{2+2 x}\right ) \operatorname {csgn}\left (i {\mathrm e}^{1+x}\right )^{2}\right )}{2 x^{2}}}}{2}\)	\(357\)

[In]

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

[Out]

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

Fricas [A] (verification not implemented)

none

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

[In]

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

[Out]

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

Sympy [F]

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

[In]

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

[Out]

(Integral(2*x, x) + Integral(exp(-2/x**2)*exp(log(x**4*exp(-2*x))/x**2), x) + Integral(8*exp(-2/x**2)*exp(log(
x**4*exp(-2*x))/x**2)/x**2, x) + Integral(-2*exp(-2/x**2)*exp(log(x**4*exp(-2*x))/x**2)/x, x) + Integral(-2*ex
p(-2/x**2)*exp(log(x**4*exp(-2*x))/x**2)*log(x**4*exp(-2*x))/x**2, x))/2

Maxima [A] (verification not implemented)

none

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

[In]

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

[Out]

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

Giac [F]

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

[In]

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

[Out]

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

Mupad [B] (verification not implemented)

Time = 7.92 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.27 \[ \int \frac {2 x^3+\left (e^{-2-2 x} x^4\right )^{\frac {1}{x^2}} \left (4-2 x+x^2-2 \log \left (e^{-2-2 x} x^4\right )\right )}{2 x^2} \, dx=\frac {x^2}{2}+\frac {x\,{\mathrm {e}}^{-\frac {2}{x}}\,{\mathrm {e}}^{-\frac {2}{x^2}}\,{\left (x^4\right )}^{\frac {1}{x^2}}}{2} \]

[In]

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

[Out]

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