Optimal. Leaf size=24 \[ \frac {3 (-4+x) x^3}{5-e^x+e^{\frac {3}{4}+x}} \]
________________________________________________________________________________________
Rubi [A] time = 3.10, antiderivative size = 47, normalized size of antiderivative = 1.96, number of steps used = 54, number of rules used = 11, integrand size = 104, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.106, Rules used = {6688, 12, 6742, 2185, 2184, 2190, 2531, 6609, 2282, 6589, 2191} \begin {gather*} \frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2184
Rule 2185
Rule 2190
Rule 2191
Rule 2282
Rule 2531
Rule 6589
Rule 6609
Rule 6688
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {3 x^2 \left (20 (-3+x)+\left (1-e^{3/4}\right ) e^x \left (12-8 x+x^2\right )\right )}{\left (5-\left (1-e^{3/4}\right ) e^x\right )^2} \, dx\\ &=3 \int \frac {x^2 \left (20 (-3+x)+\left (1-e^{3/4}\right ) e^x \left (12-8 x+x^2\right )\right )}{\left (5-\left (1-e^{3/4}\right ) e^x\right )^2} \, dx\\ &=3 \int \left (\frac {5 (-4+x) x^3}{\left (5-\left (1-e^{3/4}\right ) e^x\right )^2}+\frac {x^2 \left (-12+8 x-x^2\right )}{5-\left (1-e^{3/4}\right ) e^x}\right ) \, dx\\ &=3 \int \frac {x^2 \left (-12+8 x-x^2\right )}{5-\left (1-e^{3/4}\right ) e^x} \, dx+15 \int \frac {(-4+x) x^3}{\left (5-\left (1-e^{3/4}\right ) e^x\right )^2} \, dx\\ &=3 \int \left (\frac {12 x^2}{-5+\left (1-e^{3/4}\right ) e^x}+\frac {8 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {x^4}{-5+\left (1-e^{3/4}\right ) e^x}\right ) \, dx+15 \int \left (-\frac {4 x^3}{\left (5-\left (1-e^{3/4}\right ) e^x\right )^2}+\frac {x^4}{\left (5-\left (1-e^{3/4}\right ) e^x\right )^2}\right ) \, dx\\ &=3 \int \frac {x^4}{-5+\left (1-e^{3/4}\right ) e^x} \, dx+15 \int \frac {x^4}{\left (5+\left (-1+e^{3/4}\right ) e^x\right )^2} \, dx+24 \int \frac {x^3}{5+\left (-1+e^{3/4}\right ) e^x} \, dx+36 \int \frac {x^2}{-5+\left (1-e^{3/4}\right ) e^x} \, dx-60 \int \frac {x^3}{\left (5+\left (-1+e^{3/4}\right ) e^x\right )^2} \, dx\\ &=-\frac {12 x^3}{5}+\frac {6 x^4}{5}-\frac {3 x^5}{25}+3 \int \frac {x^4}{5+\left (-1+e^{3/4}\right ) e^x} \, dx-12 \int \frac {x^3}{5+\left (-1+e^{3/4}\right ) e^x} \, dx+\frac {1}{5} \left (3 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^4}{-5+\left (1-e^{3/4}\right ) e^x} \, dx+\left (3 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^4}{\left (5+\left (-1+e^{3/4}\right ) e^x\right )^2} \, dx+\frac {1}{5} \left (24 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^3}{5+\left (-1+e^{3/4}\right ) e^x} \, dx+\frac {1}{5} \left (36 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^2}{-5+\left (1-e^{3/4}\right ) e^x} \, dx-\left (12 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^3}{\left (5+\left (-1+e^{3/4}\right ) e^x\right )^2} \, dx\\ &=-\frac {12 x^3}{5}-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {3 x^4}{5}+\frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}+\frac {36}{5} x^2 \log \left (1-\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {24}{5} x^3 \log \left (1-\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {3}{5} x^4 \log \left (1-\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {12}{5} \int x^3 \log \left (1-\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-12 \int \frac {x^3}{5+\left (-1+e^{3/4}\right ) e^x} \, dx-\frac {72}{5} \int x \log \left (1-\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx+\frac {72}{5} \int x^2 \log \left (1+\frac {1}{5} \left (-1+e^{3/4}\right ) e^x\right ) \, dx+36 \int \frac {x^2}{5+\left (-1+e^{3/4}\right ) e^x} \, dx+\frac {1}{5} \left (3 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^4}{5+\left (-1+e^{3/4}\right ) e^x} \, dx-\frac {1}{5} \left (12 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^3}{5+\left (-1+e^{3/4}\right ) e^x} \, dx\\ &=-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}+\frac {36}{5} x^2 \log \left (1-\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {12}{5} x^3 \log \left (1-\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {72}{5} x \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {72}{5} x^2 \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {12}{5} x^3 \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {12}{5} \int x^3 \log \left (1+\frac {1}{5} \left (-1+e^{3/4}\right ) e^x\right ) \, dx-\frac {36}{5} \int x^2 \log \left (1+\frac {1}{5} \left (-1+e^{3/4}\right ) e^x\right ) \, dx-\frac {36}{5} \int x^2 \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-\frac {72}{5} \int \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx+\frac {144}{5} \int x \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-\frac {1}{5} \left (12 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^3}{5+\left (-1+e^{3/4}\right ) e^x} \, dx+\frac {1}{5} \left (36 \left (1-e^{3/4}\right )\right ) \int \frac {e^x x^2}{5+\left (-1+e^{3/4}\right ) e^x} \, dx\\ &=-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}+\frac {72}{5} x \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {36}{5} x^2 \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {144}{5} x \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {36}{5} x^2 \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {36}{5} \int x^2 \log \left (1+\frac {1}{5} \left (-1+e^{3/4}\right ) e^x\right ) \, dx+\frac {36}{5} \int x^2 \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx+\frac {72}{5} \int x \log \left (1+\frac {1}{5} \left (-1+e^{3/4}\right ) e^x\right ) \, dx-\frac {72}{5} \int x \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx+\frac {72}{5} \int x \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-\frac {72}{5} \operatorname {Subst}\left (\int \frac {\text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) x\right )}{x} \, dx,x,e^x\right )-\frac {144}{5} \int \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx\\ &=-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}-\frac {72}{5} \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {72}{5} x \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {72}{5} x \text {Li}_4\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {72}{5} \int \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-\frac {72}{5} \int x \text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx+\frac {72}{5} \int \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-\frac {72}{5} \int x \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-\frac {72}{5} \int \text {Li}_4\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx-\frac {144}{5} \operatorname {Subst}\left (\int \frac {\text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) x\right )}{x} \, dx,x,e^x\right )\\ &=-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}-\frac {72}{5} \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {144}{5} \text {Li}_4\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {72}{5} \int \text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx+\frac {72}{5} \int \text {Li}_4\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right ) \, dx+\frac {72}{5} \operatorname {Subst}\left (\int \frac {\text {Li}_2\left (\frac {1}{5} \left (1-e^{3/4}\right ) x\right )}{x} \, dx,x,e^x\right )+\frac {72}{5} \operatorname {Subst}\left (\int \frac {\text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) x\right )}{x} \, dx,x,e^x\right )-\frac {72}{5} \operatorname {Subst}\left (\int \frac {\text {Li}_4\left (\frac {1}{5} \left (1-e^{3/4}\right ) x\right )}{x} \, dx,x,e^x\right )\\ &=-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}-\frac {72}{5} \text {Li}_4\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )-\frac {72}{5} \text {Li}_5\left (\frac {1}{5} \left (1-e^{3/4}\right ) e^x\right )+\frac {72}{5} \operatorname {Subst}\left (\int \frac {\text {Li}_3\left (\frac {1}{5} \left (1-e^{3/4}\right ) x\right )}{x} \, dx,x,e^x\right )+\frac {72}{5} \operatorname {Subst}\left (\int \frac {\text {Li}_4\left (\frac {1}{5} \left (1-e^{3/4}\right ) x\right )}{x} \, dx,x,e^x\right )\\ &=-\frac {12 x^3}{5-\left (1-e^{3/4}\right ) e^x}+\frac {3 x^4}{5-\left (1-e^{3/4}\right ) e^x}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.37, size = 24, normalized size = 1.00 \begin {gather*} \frac {3 (-4+x) x^3}{5-e^x+e^{\frac {3}{4}+x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.73, size = 29, normalized size = 1.21 \begin {gather*} \frac {3 \, {\left (x^{4} - 4 \, x^{3}\right )} e^{\frac {3}{4}}}{{\left (e^{\frac {3}{4}} - 1\right )} e^{\left (x + \frac {3}{4}\right )} + 5 \, e^{\frac {3}{4}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.15, size = 23, normalized size = 0.96 \begin {gather*} \frac {3 \, {\left (x^{4} - 4 \, x^{3}\right )}}{e^{\left (x + \frac {3}{4}\right )} - e^{x} + 5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.16, size = 21, normalized size = 0.88
method | result | size |
risch | \(\frac {3 x^{3} \left (x -4\right )}{5-{\mathrm e}^{x}+{\mathrm e}^{\frac {3}{4}+x}}\) | \(21\) |
norman | \(\frac {3 x^{4}-12 x^{3}}{{\mathrm e}^{\frac {3}{4}} {\mathrm e}^{x}-{\mathrm e}^{x}+5}\) | \(26\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.20, size = 19, normalized size = 0.79 \begin {gather*} \frac {3\,x^3\,\left (x-4\right )}{{\mathrm {e}}^x\,\left ({\mathrm {e}}^{3/4}-1\right )+5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: PolynomialError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________