Integrand size = 106, antiderivative size = 22 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx=e^x-\frac {x^4}{\log ^2\left (-3+e^{1+x}-x\right )} \] Output:
exp(x)-x^4/ln(exp(1+x)-3-x)^2
Time = 0.22 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.00 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx=e^x-\frac {x^4}{\log ^2\left (-3+e^{1+x}-x\right )} \] Input:
Integrate[(-2*x^4 + 2*E^(1 + x)*x^4 + (12*x^3 - 4*E^(1 + x)*x^3 + 4*x^4)*L og[-3 + E^(1 + x) - x] + (E^(1 + 2*x) + E^x*(-3 - x))*Log[-3 + E^(1 + x) - x]^3)/((-3 + E^(1 + x) - x)*Log[-3 + E^(1 + x) - x]^3),x]
Output:
E^x - x^4/Log[-3 + E^(1 + x) - x]^2
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 e^{x+1} x^4-2 x^4+\left (4 x^4-4 e^{x+1} x^3+12 x^3\right ) \log \left (-x+e^{x+1}-3\right )+\left (e^x (-x-3)+e^{2 x+1}\right ) \log ^3\left (-x+e^{x+1}-3\right )}{\left (-x+e^{x+1}-3\right ) \log ^3\left (-x+e^{x+1}-3\right )} \, dx\) |
\(\Big \downarrow \) 7239 |
\(\displaystyle \int \left (\frac {2 \left (e^{x+1}-1\right ) x^4}{\left (-x+e^{x+1}-3\right ) \log ^3\left (-x+e^{x+1}-3\right )}-\frac {4 x^3}{\log ^2\left (-x+e^{x+1}-3\right )}+e^x\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle 2 \int \frac {x^5}{\left (-x+e^{x+1}-3\right ) \log ^3\left (-x+e^{x+1}-3\right )}dx+2 \int \frac {x^4}{\log ^3\left (-x+e^{x+1}-3\right )}dx+4 \int \frac {x^4}{\left (-x+e^{x+1}-3\right ) \log ^3\left (-x+e^{x+1}-3\right )}dx-4 \int \frac {x^3}{\log ^2\left (-x+e^{x+1}-3\right )}dx+e^x\) |
Input:
Int[(-2*x^4 + 2*E^(1 + x)*x^4 + (12*x^3 - 4*E^(1 + x)*x^3 + 4*x^4)*Log[-3 + E^(1 + x) - x] + (E^(1 + 2*x) + E^x*(-3 - x))*Log[-3 + E^(1 + x) - x]^3) /((-3 + E^(1 + x) - x)*Log[-3 + E^(1 + x) - x]^3),x]
Output:
$Aborted
Time = 0.26 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.95
method | result | size |
risch | \({\mathrm e}^{x}-\frac {x^{4}}{\ln \left ({\mathrm e}^{1+x}-3-x \right )^{2}}\) | \(21\) |
parallelrisch | \(\frac {-2 x^{4}+2 \,{\mathrm e}^{x} \ln \left ({\mathrm e}^{1+x}-3-x \right )^{2}}{2 \ln \left ({\mathrm e}^{1+x}-3-x \right )^{2}}\) | \(37\) |
Input:
int(((exp(x)*exp(1+x)+(-3-x)*exp(x))*ln(exp(1+x)-3-x)^3+(-4*x^3*exp(1+x)+4 *x^4+12*x^3)*ln(exp(1+x)-3-x)+2*x^4*exp(1+x)-2*x^4)/(exp(1+x)-3-x)/ln(exp( 1+x)-3-x)^3,x,method=_RETURNVERBOSE)
Output:
exp(x)-x^4/ln(exp(1+x)-3-x)^2
Leaf count of result is larger than twice the leaf count of optimal. 41 vs. \(2 (20) = 40\).
Time = 0.09 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.86 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx=-\frac {{\left (x^{4} e - e^{\left (x + 1\right )} \log \left (-x + e^{\left (x + 1\right )} - 3\right )^{2}\right )} e^{\left (-1\right )}}{\log \left (-x + e^{\left (x + 1\right )} - 3\right )^{2}} \] Input:
integrate(((exp(x)*exp(1+x)+(-3-x)*exp(x))*log(exp(1+x)-3-x)^3+(-4*x^3*exp (1+x)+4*x^4+12*x^3)*log(exp(1+x)-3-x)+2*x^4*exp(1+x)-2*x^4)/(exp(1+x)-3-x) /log(exp(1+x)-3-x)^3,x, algorithm="fricas")
Output:
-(x^4*e - e^(x + 1)*log(-x + e^(x + 1) - 3)^2)*e^(-1)/log(-x + e^(x + 1) - 3)^2
Time = 0.13 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.86 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx=- \frac {x^{4}}{\log {\left (- x + e e^{x} - 3 \right )}^{2}} + e^{x} \] Input:
integrate(((exp(x)*exp(1+x)+(-3-x)*exp(x))*ln(exp(1+x)-3-x)**3+(-4*x**3*ex p(1+x)+4*x**4+12*x**3)*ln(exp(1+x)-3-x)+2*x**4*exp(1+x)-2*x**4)/(exp(1+x)- 3-x)/ln(exp(1+x)-3-x)**3,x)
Output:
-x**4/log(-x + E*exp(x) - 3)**2 + exp(x)
Time = 0.09 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.55 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx=-\frac {x^{4} - e^{x} \log \left (-x + e^{\left (x + 1\right )} - 3\right )^{2}}{\log \left (-x + e^{\left (x + 1\right )} - 3\right )^{2}} \] Input:
integrate(((exp(x)*exp(1+x)+(-3-x)*exp(x))*log(exp(1+x)-3-x)^3+(-4*x^3*exp (1+x)+4*x^4+12*x^3)*log(exp(1+x)-3-x)+2*x^4*exp(1+x)-2*x^4)/(exp(1+x)-3-x) /log(exp(1+x)-3-x)^3,x, algorithm="maxima")
Output:
-(x^4 - e^x*log(-x + e^(x + 1) - 3)^2)/log(-x + e^(x + 1) - 3)^2
Leaf count of result is larger than twice the leaf count of optimal. 70 vs. \(2 (20) = 40\).
Time = 0.15 (sec) , antiderivative size = 70, normalized size of antiderivative = 3.18 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx=-\frac {{\left ({\left (x + 1\right )}^{4} e - 4 \, {\left (x + 1\right )}^{3} e + 6 \, {\left (x + 1\right )}^{2} e - e^{\left (x + 1\right )} \log \left (-x + e^{\left (x + 1\right )} - 3\right )^{2} - 4 \, {\left (x + 1\right )} e + e\right )} e^{\left (-1\right )}}{\log \left (-x + e^{\left (x + 1\right )} - 3\right )^{2}} \] Input:
integrate(((exp(x)*exp(1+x)+(-3-x)*exp(x))*log(exp(1+x)-3-x)^3+(-4*x^3*exp (1+x)+4*x^4+12*x^3)*log(exp(1+x)-3-x)+2*x^4*exp(1+x)-2*x^4)/(exp(1+x)-3-x) /log(exp(1+x)-3-x)^3,x, algorithm="giac")
Output:
-((x + 1)^4*e - 4*(x + 1)^3*e + 6*(x + 1)^2*e - e^(x + 1)*log(-x + e^(x + 1) - 3)^2 - 4*(x + 1)*e + e)*e^(-1)/log(-x + e^(x + 1) - 3)^2
Time = 0.62 (sec) , antiderivative size = 274, normalized size of antiderivative = 12.45 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx={\mathrm {e}}^x-\frac {x^4+\frac {2\,x^3\,\ln \left (\mathrm {e}\,{\mathrm {e}}^x-x-3\right )\,\left (x-{\mathrm {e}}^{x+1}+3\right )}{{\mathrm {e}}^{x+1}-1}}{{\ln \left (\mathrm {e}\,{\mathrm {e}}^x-x-3\right )}^2}+\frac {\frac {2\,x^3\,\left (x-{\mathrm {e}}^{x+1}+3\right )}{{\mathrm {e}}^{x+1}-1}-\frac {2\,x^2\,\ln \left (\mathrm {e}\,{\mathrm {e}}^x-x-3\right )\,\left (x-{\mathrm {e}}^{x+1}+3\right )\,\left (4\,x-12\,{\mathrm {e}}^{x+1}+3\,{\mathrm {e}}^{2\,x+2}-2\,x\,{\mathrm {e}}^{x+1}+x^2\,{\mathrm {e}}^{x+1}+9\right )}{{\left ({\mathrm {e}}^{x+1}-1\right )}^3}}{\ln \left (\mathrm {e}\,{\mathrm {e}}^x-x-3\right )}-6\,x^2-\frac {2\,{\mathrm {e}}^{-1}\,\left (-x^4+5\,x^3+12\,x^2\right )}{{\mathrm {e}}^{-1}-{\mathrm {e}}^x}-\frac {2\,{\mathrm {e}}^{-2}\,\left (-x^5+x^4+12\,x^3+12\,x^2\right )}{{\mathrm {e}}^{2\,x}-2\,{\mathrm {e}}^{x-1}+{\mathrm {e}}^{-2}}+\frac {2\,{\mathrm {e}}^{-3}\,\left (x^5+4\,x^4+4\,x^3\right )}{{\mathrm {e}}^{3\,x}+3\,{\mathrm {e}}^{x-2}-{\mathrm {e}}^{-3}-3\,{\mathrm {e}}^{2\,x-1}} \] Input:
int(-(2*x^4*exp(x + 1) + log(exp(x + 1) - x - 3)*(12*x^3 - 4*x^3*exp(x + 1 ) + 4*x^4) - log(exp(x + 1) - x - 3)^3*(exp(x)*(x + 3) - exp(x + 1)*exp(x) ) - 2*x^4)/(log(exp(x + 1) - x - 3)^3*(x - exp(x + 1) + 3)),x)
Output:
exp(x) - (x^4 + (2*x^3*log(exp(1)*exp(x) - x - 3)*(x - exp(x + 1) + 3))/(e xp(x + 1) - 1))/log(exp(1)*exp(x) - x - 3)^2 + ((2*x^3*(x - exp(x + 1) + 3 ))/(exp(x + 1) - 1) - (2*x^2*log(exp(1)*exp(x) - x - 3)*(x - exp(x + 1) + 3)*(4*x - 12*exp(x + 1) + 3*exp(2*x + 2) - 2*x*exp(x + 1) + x^2*exp(x + 1) + 9))/(exp(x + 1) - 1)^3)/log(exp(1)*exp(x) - x - 3) - 6*x^2 - (2*exp(-1) *(12*x^2 + 5*x^3 - x^4))/(exp(-1) - exp(x)) - (2*exp(-2)*(12*x^2 + 12*x^3 + x^4 - x^5))/(exp(2*x) - 2*exp(x - 1) + exp(-2)) + (2*exp(-3)*(4*x^3 + 4* x^4 + x^5))/(exp(3*x) + 3*exp(x - 2) - exp(-3) - 3*exp(2*x - 1))
Time = 0.24 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.68 \[ \int \frac {-2 x^4+2 e^{1+x} x^4+\left (12 x^3-4 e^{1+x} x^3+4 x^4\right ) \log \left (-3+e^{1+x}-x\right )+\left (e^{1+2 x}+e^x (-3-x)\right ) \log ^3\left (-3+e^{1+x}-x\right )}{\left (-3+e^{1+x}-x\right ) \log ^3\left (-3+e^{1+x}-x\right )} \, dx=\frac {e^{x} \mathrm {log}\left (e^{x} e -x -3\right )^{2}-x^{4}}{\mathrm {log}\left (e^{x} e -x -3\right )^{2}} \] Input:
int(((exp(x)*exp(1+x)+(-3-x)*exp(x))*log(exp(1+x)-3-x)^3+(-4*x^3*exp(1+x)+ 4*x^4+12*x^3)*log(exp(1+x)-3-x)+2*x^4*exp(1+x)-2*x^4)/(exp(1+x)-3-x)/log(e xp(1+x)-3-x)^3,x)
Output:
(e**x*log(e**x*e - x - 3)**2 - x**4)/log(e**x*e - x - 3)**2