Integrand size = 107, antiderivative size = 20 \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=2+\frac {1}{-e^x+\log \left (-5+x+x^4 \log (x)\right )} \]
[Out]
Time = 0.22 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.019, Rules used = {6820, 6818} \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=-\frac {1}{e^x-\log \left (x^4 \log (x)+x-5\right )} \]
[In]
[Out]
Rule 6818
Rule 6820
Rubi steps \begin{align*} \text {integral}& = \int \frac {1-e^x (-5+x)+x^3-x^3 \left (-4+e^x x\right ) \log (x)}{\left (5-x-x^4 \log (x)\right ) \left (e^x-\log \left (-5+x+x^4 \log (x)\right )\right )^2} \, dx \\ & = -\frac {1}{e^x-\log \left (-5+x+x^4 \log (x)\right )} \\ \end{align*}
Time = 0.07 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.00 \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=-\frac {1}{e^x-\log \left (-5+x+x^4 \log (x)\right )} \]
[In]
[Out]
Time = 88.37 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.00
method | result | size |
risch | \(-\frac {1}{{\mathrm e}^{x}-\ln \left (x^{4} \ln \left (x \right )+x -5\right )}\) | \(20\) |
parallelrisch | \(-\frac {1}{{\mathrm e}^{x}-\ln \left (x^{4} \ln \left (x \right )+x -5\right )}\) | \(20\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.95 \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=-\frac {1}{e^{x} - \log \left (x^{4} \log \left (x\right ) + x - 5\right )} \]
[In]
[Out]
Time = 0.25 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.85 \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=- \frac {1}{e^{x} - \log {\left (x^{4} \log {\left (x \right )} + x - 5 \right )}} \]
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.95 \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=-\frac {1}{e^{x} - \log \left (x^{4} \log \left (x\right ) + x - 5\right )} \]
[In]
[Out]
none
Time = 0.37 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.95 \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=-\frac {1}{e^{x} - \log \left (x^{4} \log \left (x\right ) + x - 5\right )} \]
[In]
[Out]
Time = 10.76 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.85 \[ \int \frac {-1+e^x (-5+x)-x^3+\left (-4 x^3+e^x x^4\right ) \log (x)}{e^{2 x} (-5+x)+e^{2 x} x^4 \log (x)+\left (e^x (10-2 x)-2 e^x x^4 \log (x)\right ) \log \left (-5+x+x^4 \log (x)\right )+\left (-5+x+x^4 \log (x)\right ) \log ^2\left (-5+x+x^4 \log (x)\right )} \, dx=\frac {1}{\ln \left (x+x^4\,\ln \left (x\right )-5\right )-{\mathrm {e}}^x} \]
[In]
[Out]