Optimal. Leaf size=26 \[ \left (\frac {64 e^{e^{-1+3 x}}}{1-e^3}+2 x\right )^4 \]
________________________________________________________________________________________
Rubi [B] time = 0.16, antiderivative size = 140, normalized size of antiderivative = 5.38, number of steps used = 16, number of rules used = 5, integrand size = 252, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.020, Rules used = {6, 12, 2282, 2194, 2288} \begin {gather*} 16 x^4+\frac {2048 e^{e^{3 x-1}} \left (-e^9 x^3+3 e^6 x^3-3 e^3 x^3+x^3\right )}{\left (1-e^3\right )^4}+\frac {98304 e^{2 e^{3 x-1}} \left (e^6 x^2-2 e^3 x^2+x^2\right )}{\left (1-e^3\right )^4}+\frac {2097152 e^{3 e^{3 x-1}} x}{\left (1-e^3\right )^3}+\frac {16777216 e^{4 e^{3 x-1}}}{\left (1-e^3\right )^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rule 12
Rule 2194
Rule 2282
Rule 2288
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {201326592 e^{-1+4 e^{-1+3 x}+3 x}+384 e^6 x^3-256 e^9 x^3+64 e^{12} x^3+\left (64-256 e^3\right ) x^3+e^{3 e^{-1+3 x}} \left (2097152-2097152 e^3+e^{-1+3 x} \left (18874368 x-18874368 e^3 x\right )\right )+e^{2 e^{-1+3 x}} \left (196608 x-393216 e^3 x+196608 e^6 x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right )+e^{e^{-1+3 x}} \left (6144 x^2-18432 e^3 x^2+18432 e^6 x^2-6144 e^9 x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right )}{1-4 e^3+6 e^6-4 e^9+e^{12}} \, dx\\ &=\int \frac {201326592 e^{-1+4 e^{-1+3 x}+3 x}+64 e^{12} x^3+\left (64-256 e^3\right ) x^3+\left (384 e^6-256 e^9\right ) x^3+e^{3 e^{-1+3 x}} \left (2097152-2097152 e^3+e^{-1+3 x} \left (18874368 x-18874368 e^3 x\right )\right )+e^{2 e^{-1+3 x}} \left (196608 x-393216 e^3 x+196608 e^6 x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right )+e^{e^{-1+3 x}} \left (6144 x^2-18432 e^3 x^2+18432 e^6 x^2-6144 e^9 x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right )}{1-4 e^3+6 e^6-4 e^9+e^{12}} \, dx\\ &=\int \frac {201326592 e^{-1+4 e^{-1+3 x}+3 x}+\left (384 e^6-256 e^9\right ) x^3+\left (64-256 e^3+64 e^{12}\right ) x^3+e^{3 e^{-1+3 x}} \left (2097152-2097152 e^3+e^{-1+3 x} \left (18874368 x-18874368 e^3 x\right )\right )+e^{2 e^{-1+3 x}} \left (196608 x-393216 e^3 x+196608 e^6 x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right )+e^{e^{-1+3 x}} \left (6144 x^2-18432 e^3 x^2+18432 e^6 x^2-6144 e^9 x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right )}{1-4 e^3+6 e^6-4 e^9+e^{12}} \, dx\\ &=\int \frac {201326592 e^{-1+4 e^{-1+3 x}+3 x}+\left (64-256 e^3+384 e^6-256 e^9+64 e^{12}\right ) x^3+e^{3 e^{-1+3 x}} \left (2097152-2097152 e^3+e^{-1+3 x} \left (18874368 x-18874368 e^3 x\right )\right )+e^{2 e^{-1+3 x}} \left (196608 x-393216 e^3 x+196608 e^6 x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right )+e^{e^{-1+3 x}} \left (6144 x^2-18432 e^3 x^2+18432 e^6 x^2-6144 e^9 x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right )}{1-4 e^3+6 e^6-4 e^9+e^{12}} \, dx\\ &=\frac {\int \left (201326592 e^{-1+4 e^{-1+3 x}+3 x}+\left (64-256 e^3+384 e^6-256 e^9+64 e^{12}\right ) x^3+e^{3 e^{-1+3 x}} \left (2097152-2097152 e^3+e^{-1+3 x} \left (18874368 x-18874368 e^3 x\right )\right )+e^{2 e^{-1+3 x}} \left (196608 x-393216 e^3 x+196608 e^6 x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right )+e^{e^{-1+3 x}} \left (6144 x^2-18432 e^3 x^2+18432 e^6 x^2-6144 e^9 x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}\\ &=16 x^4+\frac {201326592 \int e^{-1+4 e^{-1+3 x}+3 x} \, dx}{\left (1-e^3\right )^4}+\frac {\int e^{3 e^{-1+3 x}} \left (2097152-2097152 e^3+e^{-1+3 x} \left (18874368 x-18874368 e^3 x\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}+\frac {\int e^{2 e^{-1+3 x}} \left (196608 x-393216 e^3 x+196608 e^6 x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}+\frac {\int e^{e^{-1+3 x}} \left (6144 x^2-18432 e^3 x^2+18432 e^6 x^2-6144 e^9 x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}\\ &=\frac {2097152 e^{3 e^{-1+3 x}} x}{\left (1-e^3\right )^3}+16 x^4+\frac {67108864 \operatorname {Subst}\left (\int e^{-1+\frac {4 x}{e}} \, dx,x,e^{3 x}\right )}{\left (1-e^3\right )^4}+\frac {\int e^{2 e^{-1+3 x}} \left (196608 e^6 x+\left (196608-393216 e^3\right ) x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}+\frac {\int e^{e^{-1+3 x}} \left (18432 e^6 x^2-6144 e^9 x^2+\left (6144-18432 e^3\right ) x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}\\ &=\frac {16777216 e^{4 e^{-1+3 x}}}{\left (1-e^3\right )^4}+\frac {2097152 e^{3 e^{-1+3 x}} x}{\left (1-e^3\right )^3}+16 x^4+\frac {\int e^{2 e^{-1+3 x}} \left (\left (196608-393216 e^3+196608 e^6\right ) x+e^{-1+3 x} \left (589824 x^2-1179648 e^3 x^2+589824 e^6 x^2\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}+\frac {\int e^{e^{-1+3 x}} \left (\left (6144-18432 e^3\right ) x^2+\left (18432 e^6-6144 e^9\right ) x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}\\ &=\frac {16777216 e^{4 e^{-1+3 x}}}{\left (1-e^3\right )^4}+\frac {2097152 e^{3 e^{-1+3 x}} x}{\left (1-e^3\right )^3}+16 x^4+\frac {98304 e^{2 e^{-1+3 x}} \left (x^2-2 e^3 x^2+e^6 x^2\right )}{\left (1-e^3\right )^4}+\frac {\int e^{e^{-1+3 x}} \left (\left (6144-18432 e^3+18432 e^6-6144 e^9\right ) x^2+e^{-1+3 x} \left (6144 x^3-18432 e^3 x^3+18432 e^6 x^3-6144 e^9 x^3\right )\right ) \, dx}{1-4 e^3+6 e^6-4 e^9+e^{12}}\\ &=\frac {16777216 e^{4 e^{-1+3 x}}}{\left (1-e^3\right )^4}+\frac {2097152 e^{3 e^{-1+3 x}} x}{\left (1-e^3\right )^3}+16 x^4+\frac {98304 e^{2 e^{-1+3 x}} \left (x^2-2 e^3 x^2+e^6 x^2\right )}{\left (1-e^3\right )^4}+\frac {2048 e^{e^{-1+3 x}} \left (x^3-3 e^3 x^3+3 e^6 x^3-e^9 x^3\right )}{\left (1-e^3\right )^4}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.07, size = 32, normalized size = 1.23 \begin {gather*} \frac {16 \left (32 e^{e^{-1+3 x}}+\left (1-e^3\right ) x\right )^4}{\left (-1+e^3\right )^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.51, size = 144, normalized size = 5.54 \begin {gather*} \frac {16 \, {\left (x^{4} e^{12} - 4 \, x^{4} e^{9} + 6 \, x^{4} e^{6} - 4 \, x^{4} e^{3} + x^{4} - 131072 \, {\left (x e^{3} - x\right )} e^{\left (3 \, e^{\left (3 \, x - 1\right )}\right )} + 6144 \, {\left (x^{2} e^{6} - 2 \, x^{2} e^{3} + x^{2}\right )} e^{\left (2 \, e^{\left (3 \, x - 1\right )}\right )} - 128 \, {\left (x^{3} e^{9} - 3 \, x^{3} e^{6} + 3 \, x^{3} e^{3} - x^{3}\right )} e^{\left (e^{\left (3 \, x - 1\right )}\right )} + 1048576 \, e^{\left (4 \, e^{\left (3 \, x - 1\right )}\right )}\right )}}{e^{12} - 4 \, e^{9} + 6 \, e^{6} - 4 \, e^{3} + 1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.40, size = 207, normalized size = 7.96 \begin {gather*} \frac {16 \, {\left (x^{4} e^{12} - 4 \, x^{4} e^{9} + 6 \, x^{4} e^{6} - 4 \, x^{4} e^{3} + x^{4} + 6144 \, x^{2} e^{\left (2 \, e^{\left (3 \, x - 1\right )}\right )} + 6144 \, x^{2} e^{\left (2 \, e^{\left (3 \, x - 1\right )} + 6\right )} - 12288 \, x^{2} e^{\left (2 \, e^{\left (3 \, x - 1\right )} + 3\right )} - 128 \, {\left (x^{3} e^{\left (3 \, x + e^{\left (3 \, x - 1\right )} + 9\right )} - 3 \, x^{3} e^{\left (3 \, x + e^{\left (3 \, x - 1\right )} + 6\right )} + 3 \, x^{3} e^{\left (3 \, x + e^{\left (3 \, x - 1\right )} + 3\right )} - x^{3} e^{\left (3 \, x + e^{\left (3 \, x - 1\right )}\right )}\right )} e^{\left (-3 \, x\right )} + 131072 \, x e^{\left (3 \, e^{\left (3 \, x - 1\right )}\right )} - 131072 \, x e^{\left (3 \, e^{\left (3 \, x - 1\right )} + 3\right )} + 1048576 \, e^{\left (4 \, e^{\left (3 \, x - 1\right )}\right )}\right )}}{e^{12} - 4 \, e^{9} + 6 \, e^{6} - 4 \, e^{3} + 1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.18, size = 148, normalized size = 5.69
method | result | size |
default | \(\frac {\left (-2097152 \,{\mathrm e}^{3}+2097152\right ) x \,{\mathrm e}^{3 \,{\mathrm e}^{3 x -1}}+\left (98304 \,{\mathrm e}^{6}-196608 \,{\mathrm e}^{3}+98304\right ) x^{2} {\mathrm e}^{2 \,{\mathrm e}^{3 x -1}}+\left (-2048 \,{\mathrm e}^{9}+6144 \,{\mathrm e}^{6}-6144 \,{\mathrm e}^{3}+2048\right ) x^{3} {\mathrm e}^{{\mathrm e}^{3 x -1}}+16 x^{4}-64 x^{4} {\mathrm e}^{3}+96 x^{4} {\mathrm e}^{6}-64 x^{4} {\mathrm e}^{9}+16 x^{4} {\mathrm e}^{12}+16777216 \,{\mathrm e}^{4 \,{\mathrm e}^{3 x -1}}}{{\mathrm e}^{12}-4 \,{\mathrm e}^{9}+6 \,{\mathrm e}^{6}-4 \,{\mathrm e}^{3}+1}\) | \(148\) |
risch | \(16 x^{4}+\frac {16777216 \,{\mathrm e}^{4 \,{\mathrm e}^{3 x -1}}}{{\mathrm e}^{12}-4 \,{\mathrm e}^{9}+6 \,{\mathrm e}^{6}-4 \,{\mathrm e}^{3}+1}+\frac {\left (-2097152 x \,{\mathrm e}^{3}+2097152 x \right ) {\mathrm e}^{3 \,{\mathrm e}^{3 x -1}}}{{\mathrm e}^{12}-4 \,{\mathrm e}^{9}+6 \,{\mathrm e}^{6}-4 \,{\mathrm e}^{3}+1}+\frac {\left (98304 x^{2} {\mathrm e}^{6}-196608 x^{2} {\mathrm e}^{3}+98304 x^{2}\right ) {\mathrm e}^{2 \,{\mathrm e}^{3 x -1}}}{{\mathrm e}^{12}-4 \,{\mathrm e}^{9}+6 \,{\mathrm e}^{6}-4 \,{\mathrm e}^{3}+1}+\frac {\left (-2048 x^{3} {\mathrm e}^{9}+6144 x^{3} {\mathrm e}^{6}-6144 x^{3} {\mathrm e}^{3}+2048 x^{3}\right ) {\mathrm e}^{{\mathrm e}^{3 x -1}}}{{\mathrm e}^{12}-4 \,{\mathrm e}^{9}+6 \,{\mathrm e}^{6}-4 \,{\mathrm e}^{3}+1}\) | \(174\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.39, size = 124, normalized size = 4.77 \begin {gather*} \frac {16 \, {\left (x^{4} e^{12} - 4 \, x^{4} e^{9} + 6 \, x^{4} e^{6} - 4 \, x^{4} e^{3} - 128 \, x^{3} {\left (e^{9} - 3 \, e^{6} + 3 \, e^{3} - 1\right )} e^{\left (e^{\left (3 \, x - 1\right )}\right )} + x^{4} + 6144 \, x^{2} {\left (e^{6} - 2 \, e^{3} + 1\right )} e^{\left (2 \, e^{\left (3 \, x - 1\right )}\right )} - 131072 \, x {\left (e^{3} - 1\right )} e^{\left (3 \, e^{\left (3 \, x - 1\right )}\right )} + 1048576 \, e^{\left (4 \, e^{\left (3 \, x - 1\right )}\right )}\right )}}{e^{12} - 4 \, e^{9} + 6 \, e^{6} - 4 \, e^{3} + 1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.30, size = 27, normalized size = 1.04 \begin {gather*} \frac {16\,{\left (x+32\,{\mathrm {e}}^{{\mathrm {e}}^{3\,x}\,{\mathrm {e}}^{-1}}-x\,{\mathrm {e}}^3\right )}^4}{{\left ({\mathrm {e}}^3-1\right )}^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.72, size = 332, normalized size = 12.77 \begin {gather*} 16 x^{4} + \frac {\left (- 2097152 x e^{21} - 44040192 x e^{15} - 73400320 x e^{9} - 14680064 x e^{3} + 2097152 x + 44040192 x e^{6} + 73400320 x e^{12} + 14680064 x e^{18}\right ) e^{3 e^{3 x - 1}} + \left (- 786432 x^{2} e^{21} - 5505024 x^{2} e^{15} - 5505024 x^{2} e^{9} - 786432 x^{2} e^{3} + 98304 x^{2} + 2752512 x^{2} e^{6} + 6881280 x^{2} e^{12} + 2752512 x^{2} e^{18} + 98304 x^{2} e^{24}\right ) e^{2 e^{3 x - 1}} + \left (- 2048 x^{3} e^{27} - 73728 x^{3} e^{21} - 258048 x^{3} e^{15} - 172032 x^{3} e^{9} - 18432 x^{3} e^{3} + 2048 x^{3} + 73728 x^{3} e^{6} + 258048 x^{3} e^{12} + 172032 x^{3} e^{18} + 18432 x^{3} e^{24}\right ) e^{e^{3 x - 1}} + \left (- 100663296 e^{15} - 335544320 e^{9} - 100663296 e^{3} + 16777216 + 251658240 e^{6} + 251658240 e^{12} + 16777216 e^{18}\right ) e^{4 e^{3 x - 1}}}{- 10 e^{27} - 120 e^{21} - 252 e^{15} - 120 e^{9} - 10 e^{3} + 1 + 45 e^{6} + 210 e^{12} + 210 e^{18} + 45 e^{24} + e^{30}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________