3.84.56 \(\int \frac {e^{\frac {-5-6 x+6 \log (\frac {16}{x^2})}{-x+\log (\frac {16}{x^2})}} (-40 x-30 x^2+3 x^3+x^4+e^x (10 x+5 x^2-2 x^3+x^4)+(-16 x^2-2 x^3+e^x (4 x^2-2 x^3)) \log (\frac {16}{x^2})+(8 x+x^2+e^x (-2 x+x^2)) \log ^2(\frac {16}{x^2}))}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x (-8 x^2-2 x^3)+(-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x (16 x+4 x^2)) \log (\frac {16}{x^2})+(16+e^{2 x}+e^x (-8-2 x)+8 x+x^2) \log ^2(\frac {16}{x^2})} \, dx\) [8356]
Optimal. Leaf size=32 \[ \frac {e^{6-\frac {5}{-x+\log \left (\frac {16}{x^2}\right )}} x^2}{4-e^x+x} \]
[Out]
x^2*exp(6-5/(ln(16/x^2)-x))/(x-exp(x)+4)
________________________________________________________________________________________
Rubi [F]
time = 180.00, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \text {\$Aborted} \end {gather*}
Verification is not applicable to the result.
[In]
Int[(E^((-5 - 6*x + 6*Log[16/x^2])/(-x + Log[16/x^2]))*(-40*x - 30*x^2 + 3*x^3 + x^4 + E^x*(10*x + 5*x^2 - 2*x
^3 + x^4) + (-16*x^2 - 2*x^3 + E^x*(4*x^2 - 2*x^3))*Log[16/x^2] + (8*x + x^2 + E^x*(-2*x + x^2))*Log[16/x^2]^2
))/(16*x^2 + E^(2*x)*x^2 + 8*x^3 + x^4 + E^x*(-8*x^2 - 2*x^3) + (-32*x - 2*E^(2*x)*x - 16*x^2 - 2*x^3 + E^x*(1
6*x + 4*x^2))*Log[16/x^2] + (16 + E^(2*x) + E^x*(-8 - 2*x) + 8*x + x^2)*Log[16/x^2]^2),x]
[Out]
$Aborted
Rubi steps
Aborted
________________________________________________________________________________________
Mathematica [F]
time = 7.69, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {e^{\frac {-5-6 x+6 \log \left (\frac {16}{x^2}\right )}{-x+\log \left (\frac {16}{x^2}\right )}} \left (-40 x-30 x^2+3 x^3+x^4+e^x \left (10 x+5 x^2-2 x^3+x^4\right )+\left (-16 x^2-2 x^3+e^x \left (4 x^2-2 x^3\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (8 x+x^2+e^x \left (-2 x+x^2\right )\right ) \log ^2\left (\frac {16}{x^2}\right )\right )}{16 x^2+e^{2 x} x^2+8 x^3+x^4+e^x \left (-8 x^2-2 x^3\right )+\left (-32 x-2 e^{2 x} x-16 x^2-2 x^3+e^x \left (16 x+4 x^2\right )\right ) \log \left (\frac {16}{x^2}\right )+\left (16+e^{2 x}+e^x (-8-2 x)+8 x+x^2\right ) \log ^2\left (\frac {16}{x^2}\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
Integrate[(E^((-5 - 6*x + 6*Log[16/x^2])/(-x + Log[16/x^2]))*(-40*x - 30*x^2 + 3*x^3 + x^4 + E^x*(10*x + 5*x^2
- 2*x^3 + x^4) + (-16*x^2 - 2*x^3 + E^x*(4*x^2 - 2*x^3))*Log[16/x^2] + (8*x + x^2 + E^x*(-2*x + x^2))*Log[16/
x^2]^2))/(16*x^2 + E^(2*x)*x^2 + 8*x^3 + x^4 + E^x*(-8*x^2 - 2*x^3) + (-32*x - 2*E^(2*x)*x - 16*x^2 - 2*x^3 +
E^x*(16*x + 4*x^2))*Log[16/x^2] + (16 + E^(2*x) + E^x*(-8 - 2*x) + 8*x + x^2)*Log[16/x^2]^2),x]
[Out]
Integrate[(E^((-5 - 6*x + 6*Log[16/x^2])/(-x + Log[16/x^2]))*(-40*x - 30*x^2 + 3*x^3 + x^4 + E^x*(10*x + 5*x^2
- 2*x^3 + x^4) + (-16*x^2 - 2*x^3 + E^x*(4*x^2 - 2*x^3))*Log[16/x^2] + (8*x + x^2 + E^x*(-2*x + x^2))*Log[16/
x^2]^2))/(16*x^2 + E^(2*x)*x^2 + 8*x^3 + x^4 + E^x*(-8*x^2 - 2*x^3) + (-32*x - 2*E^(2*x)*x - 16*x^2 - 2*x^3 +
E^x*(16*x + 4*x^2))*Log[16/x^2] + (16 + E^(2*x) + E^x*(-8 - 2*x) + 8*x + x^2)*Log[16/x^2]^2), x]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 3.36, size = 142, normalized size = 4.44
| | |
method |
result |
size |
| | |
risch |
\(\frac {x^{2} {\mathrm e}^{\frac {6 i \pi \mathrm {csgn}\left (i x^{2}\right )^{3}-12 i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{2}\right )^{2}+6 i \pi \mathrm {csgn}\left (i x \right )^{2} \mathrm {csgn}\left (i x^{2}\right )+48 \ln \left (2\right )-24 \ln \left (x \right )-12 x -10}{i \pi \mathrm {csgn}\left (i x^{2}\right )^{3}-2 i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{2}\right )^{2}+i \pi \mathrm {csgn}\left (i x \right )^{2} \mathrm {csgn}\left (i x^{2}\right )+8 \ln \left (2\right )-4 \ln \left (x \right )-2 x}}}{x -{\mathrm e}^{x}+4}\) |
\(142\) |
| | |
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((((x^2-2*x)*exp(x)+x^2+8*x)*ln(16/x^2)^2+((-2*x^3+4*x^2)*exp(x)-2*x^3-16*x^2)*ln(16/x^2)+(x^4-2*x^3+5*x^2+
10*x)*exp(x)+x^4+3*x^3-30*x^2-40*x)*exp((6*ln(16/x^2)-5-6*x)/(ln(16/x^2)-x))/((exp(x)^2+(-2*x-8)*exp(x)+x^2+8*
x+16)*ln(16/x^2)^2+(-2*x*exp(x)^2+(4*x^2+16*x)*exp(x)-2*x^3-16*x^2-32*x)*ln(16/x^2)+exp(x)^2*x^2+(-2*x^3-8*x^2
)*exp(x)+x^4+8*x^3+16*x^2),x,method=_RETURNVERBOSE)
[Out]
x^2/(x-exp(x)+4)*exp(2*(3*I*Pi*csgn(I*x^2)^3-6*I*Pi*csgn(I*x)*csgn(I*x^2)^2+3*I*Pi*csgn(I*x)^2*csgn(I*x^2)+24*
ln(2)-12*ln(x)-6*x-5)/(I*Pi*csgn(I*x^2)^3-2*I*Pi*csgn(I*x^2)^2*csgn(I*x)+I*Pi*csgn(I*x^2)*csgn(I*x)^2+8*ln(2)-
4*ln(x)-2*x))
________________________________________________________________________________________
Maxima [A]
time = 0.67, size = 30, normalized size = 0.94 \begin {gather*} \frac {x^{2} e^{\left (\frac {5}{x - 4 \, \log \left (2\right ) + 2 \, \log \left (x\right )} + 6\right )}}{x - e^{x} + 4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((x^2-2*x)*exp(x)+x^2+8*x)*log(16/x^2)^2+((-2*x^3+4*x^2)*exp(x)-2*x^3-16*x^2)*log(16/x^2)+(x^4-2*x^
3+5*x^2+10*x)*exp(x)+x^4+3*x^3-30*x^2-40*x)*exp((6*log(16/x^2)-5-6*x)/(log(16/x^2)-x))/((exp(x)^2+(-2*x-8)*exp
(x)+x^2+8*x+16)*log(16/x^2)^2+(-2*x*exp(x)^2+(4*x^2+16*x)*exp(x)-2*x^3-16*x^2-32*x)*log(16/x^2)+exp(x)^2*x^2+(
-2*x^3-8*x^2)*exp(x)+x^4+8*x^3+16*x^2),x, algorithm="maxima")
[Out]
x^2*e^(5/(x - 4*log(2) + 2*log(x)) + 6)/(x - e^x + 4)
________________________________________________________________________________________
Fricas [A]
time = 0.42, size = 40, normalized size = 1.25 \begin {gather*} \frac {x^{2} e^{\left (\frac {6 \, x - 6 \, \log \left (\frac {16}{x^{2}}\right ) + 5}{x - \log \left (\frac {16}{x^{2}}\right )}\right )}}{x - e^{x} + 4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((x^2-2*x)*exp(x)+x^2+8*x)*log(16/x^2)^2+((-2*x^3+4*x^2)*exp(x)-2*x^3-16*x^2)*log(16/x^2)+(x^4-2*x^
3+5*x^2+10*x)*exp(x)+x^4+3*x^3-30*x^2-40*x)*exp((6*log(16/x^2)-5-6*x)/(log(16/x^2)-x))/((exp(x)^2+(-2*x-8)*exp
(x)+x^2+8*x+16)*log(16/x^2)^2+(-2*x*exp(x)^2+(4*x^2+16*x)*exp(x)-2*x^3-16*x^2-32*x)*log(16/x^2)+exp(x)^2*x^2+(
-2*x^3-8*x^2)*exp(x)+x^4+8*x^3+16*x^2),x, algorithm="fricas")
[Out]
x^2*e^((6*x - 6*log(16/x^2) + 5)/(x - log(16/x^2)))/(x - e^x + 4)
________________________________________________________________________________________
Sympy [A]
time = 1.07, size = 32, normalized size = 1.00 \begin {gather*} \frac {x^{2} e^{\frac {- 6 x + 6 \log {\left (\frac {16}{x^{2}} \right )} - 5}{- x + \log {\left (\frac {16}{x^{2}} \right )}}}}{x - e^{x} + 4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((x**2-2*x)*exp(x)+x**2+8*x)*ln(16/x**2)**2+((-2*x**3+4*x**2)*exp(x)-2*x**3-16*x**2)*ln(16/x**2)+(x
**4-2*x**3+5*x**2+10*x)*exp(x)+x**4+3*x**3-30*x**2-40*x)*exp((6*ln(16/x**2)-5-6*x)/(ln(16/x**2)-x))/((exp(x)**
2+(-2*x-8)*exp(x)+x**2+8*x+16)*ln(16/x**2)**2+(-2*x*exp(x)**2+(4*x**2+16*x)*exp(x)-2*x**3-16*x**2-32*x)*ln(16/
x**2)+exp(x)**2*x**2+(-2*x**3-8*x**2)*exp(x)+x**4+8*x**3+16*x**2),x)
[Out]
x**2*exp((-6*x + 6*log(16/x**2) - 5)/(-x + log(16/x**2)))/(x - exp(x) + 4)
________________________________________________________________________________________
Giac [A]
time = 1.78, size = 40, normalized size = 1.25 \begin {gather*} \frac {x^{2} e^{\left (\frac {6 \, x - 6 \, \log \left (\frac {16}{x^{2}}\right ) + 5}{x - \log \left (\frac {16}{x^{2}}\right )}\right )}}{x - e^{x} + 4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((x^2-2*x)*exp(x)+x^2+8*x)*log(16/x^2)^2+((-2*x^3+4*x^2)*exp(x)-2*x^3-16*x^2)*log(16/x^2)+(x^4-2*x^
3+5*x^2+10*x)*exp(x)+x^4+3*x^3-30*x^2-40*x)*exp((6*log(16/x^2)-5-6*x)/(log(16/x^2)-x))/((exp(x)^2+(-2*x-8)*exp
(x)+x^2+8*x+16)*log(16/x^2)^2+(-2*x*exp(x)^2+(4*x^2+16*x)*exp(x)-2*x^3-16*x^2-32*x)*log(16/x^2)+exp(x)^2*x^2+(
-2*x^3-8*x^2)*exp(x)+x^4+8*x^3+16*x^2),x, algorithm="giac")
[Out]
x^2*e^((6*x - 6*log(16/x^2) + 5)/(x - log(16/x^2)))/(x - e^x + 4)
________________________________________________________________________________________
Mupad [B]
time = 5.56, size = 68, normalized size = 2.12 \begin {gather*} \frac {x^2\,{\mathrm {e}}^{-\frac {5}{\ln \left (\frac {1}{x^2}\right )-x+4\,\ln \left (2\right )}}\,{\mathrm {e}}^{-\frac {6\,x}{\ln \left (\frac {1}{x^2}\right )-x+4\,\ln \left (2\right )}}\,{\left (\frac {16777216}{x^{12}}\right )}^{\frac {1}{\ln \left (\frac {1}{x^2}\right )-x+4\,\ln \left (2\right )}}}{x-{\mathrm {e}}^x+4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((exp((6*x - 6*log(16/x^2) + 5)/(x - log(16/x^2)))*(log(16/x^2)^2*(8*x - exp(x)*(2*x - x^2) + x^2) - 40*x +
exp(x)*(10*x + 5*x^2 - 2*x^3 + x^4) - 30*x^2 + 3*x^3 + x^4 - log(16/x^2)*(16*x^2 - exp(x)*(4*x^2 - 2*x^3) + 2
*x^3)))/(log(16/x^2)^2*(8*x + exp(2*x) - exp(x)*(2*x + 8) + x^2 + 16) - exp(x)*(8*x^2 + 2*x^3) - log(16/x^2)*(
32*x + 2*x*exp(2*x) - exp(x)*(16*x + 4*x^2) + 16*x^2 + 2*x^3) + x^2*exp(2*x) + 16*x^2 + 8*x^3 + x^4),x)
[Out]
(x^2*exp(-5/(log(1/x^2) - x + 4*log(2)))*exp(-(6*x)/(log(1/x^2) - x + 4*log(2)))*(16777216/x^12)^(1/(log(1/x^2
) - x + 4*log(2))))/(x - exp(x) + 4)
________________________________________________________________________________________