Optimal. Leaf size=27 \[ e^{\left (e^{e^{5 e^x} x}+\frac {1}{3} \left (e+e^{3 x}\right )\right )^2} \]
________________________________________________________________________________________
Rubi [A] time = 3.83, antiderivative size = 28, normalized size of antiderivative = 1.04, number of steps used = 4, number of rules used = 3, integrand size = 163, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.018, Rules used = {12, 6688, 6706} \begin {gather*} e^{\frac {1}{9} \left (e^{3 x}+3 e^{e^{5 e^x} x}+e\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 6688
Rule 6706
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{3} \int \exp \left (\frac {1}{9} \left (e^2+e^{6 x}+9 e^{2 e^{5 e^x} x}+2 e^{1+3 x}+e^{e^{5 e^x} x} \left (6 e+6 e^{3 x}\right )\right )\right ) \left (2 e^{6 x}+2 e^{1+3 x}+e^{5 e^x+2 e^{5 e^x} x} \left (6+30 e^x x\right )+e^{e^{5 e^x} x} \left (6 e^{3 x}+e^{5 e^x} \left (2 e+10 e^{1+x} x+e^{3 x} \left (2+10 e^x x\right )\right )\right )\right ) \, dx\\ &=\frac {1}{3} \int 2 e^{\frac {1}{9} \left (e+e^{3 x}+3 e^{e^{5 e^x} x}\right )^2} \left (e+e^{3 x}+3 e^{e^{5 e^x} x}\right ) \left (e^{3 x}+e^{5 e^x+e^{5 e^x} x}+5 e^{5 e^x+x+e^{5 e^x} x} x\right ) \, dx\\ &=\frac {2}{3} \int e^{\frac {1}{9} \left (e+e^{3 x}+3 e^{e^{5 e^x} x}\right )^2} \left (e+e^{3 x}+3 e^{e^{5 e^x} x}\right ) \left (e^{3 x}+e^{5 e^x+e^{5 e^x} x}+5 e^{5 e^x+x+e^{5 e^x} x} x\right ) \, dx\\ &=e^{\frac {1}{9} \left (e+e^{3 x}+3 e^{e^{5 e^x} x}\right )^2}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.08, size = 28, normalized size = 1.04 \begin {gather*} e^{\frac {1}{9} \left (e+e^{3 x}+3 e^{e^{5 e^x} x}\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.76, size = 54, normalized size = 2.00 \begin {gather*} e^{\left (\frac {1}{9} \, {\left (6 \, {\left (e^{7} + e^{\left (3 \, x + 6\right )}\right )} e^{\left (x e^{\left (5 \, e^{x}\right )}\right )} + e^{8} + 9 \, e^{\left (2 \, x e^{\left (5 \, e^{x}\right )} + 6\right )} + e^{\left (6 \, x + 6\right )} + 2 \, e^{\left (3 \, x + 7\right )}\right )} e^{\left (-6\right )}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {2}{3} \, {\left (3 \, {\left (5 \, x e^{x} + 1\right )} e^{\left (2 \, x e^{\left (5 \, e^{x}\right )} + 5 \, e^{x}\right )} + {\left ({\left ({\left (5 \, x e^{x} + 1\right )} e^{\left (3 \, x\right )} + 5 \, x e^{\left (x + 1\right )} + e\right )} e^{\left (5 \, e^{x}\right )} + 3 \, e^{\left (3 \, x\right )}\right )} e^{\left (x e^{\left (5 \, e^{x}\right )}\right )} + e^{\left (6 \, x\right )} + e^{\left (3 \, x + 1\right )}\right )} e^{\left (\frac {2}{3} \, {\left (e + e^{\left (3 \, x\right )}\right )} e^{\left (x e^{\left (5 \, e^{x}\right )}\right )} + \frac {1}{9} \, e^{2} + e^{\left (2 \, x e^{\left (5 \, e^{x}\right )}\right )} + \frac {1}{9} \, e^{\left (6 \, x\right )} + \frac {2}{9} \, e^{\left (3 \, x + 1\right )}\right )}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.19, size = 54, normalized size = 2.00
method | result | size |
risch | \({\mathrm e}^{{\mathrm e}^{2 x \,{\mathrm e}^{5 \,{\mathrm e}^{x}}}+\frac {2 \,{\mathrm e}^{x \,{\mathrm e}^{5 \,{\mathrm e}^{x}}+1}}{3}+\frac {2 \,{\mathrm e}^{x \left ({\mathrm e}^{5 \,{\mathrm e}^{x}}+3\right )}}{3}+\frac {{\mathrm e}^{6 x}}{9}+\frac {2 \,{\mathrm e}^{3 x +1}}{9}+\frac {{\mathrm e}^{2}}{9}}\) | \(54\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.75, size = 55, normalized size = 2.04 \begin {gather*} e^{\left (\frac {1}{9} \, e^{2} + e^{\left (2 \, x e^{\left (5 \, e^{x}\right )}\right )} + \frac {2}{3} \, e^{\left (x e^{\left (5 \, e^{x}\right )} + 3 \, x\right )} + \frac {2}{3} \, e^{\left (x e^{\left (5 \, e^{x}\right )} + 1\right )} + \frac {1}{9} \, e^{\left (6 \, x\right )} + \frac {2}{9} \, e^{\left (3 \, x + 1\right )}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.51, size = 60, normalized size = 2.22 \begin {gather*} {\mathrm {e}}^{\frac {{\mathrm {e}}^{6\,x}}{9}}\,{\mathrm {e}}^{\frac {2\,\mathrm {e}\,{\mathrm {e}}^{x\,{\mathrm {e}}^{5\,{\mathrm {e}}^x}}}{3}}\,{\mathrm {e}}^{\frac {{\mathrm {e}}^2}{9}}\,{\mathrm {e}}^{{\mathrm {e}}^{2\,x\,{\mathrm {e}}^{5\,{\mathrm {e}}^x}}}\,{\mathrm {e}}^{\frac {2\,{\mathrm {e}}^{3\,x}\,\mathrm {e}}{9}}\,{\mathrm {e}}^{\frac {2\,{\mathrm {e}}^{3\,x}\,{\mathrm {e}}^{x\,{\mathrm {e}}^{5\,{\mathrm {e}}^x}}}{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 11.20, size = 61, normalized size = 2.26 \begin {gather*} e^{\left (\frac {2 e^{3 x}}{3} + \frac {2 e}{3}\right ) e^{x e^{5 e^{x}}} + \frac {e^{6 x}}{9} + \frac {2 e e^{3 x}}{9} + e^{2 x e^{5 e^{x}}} + \frac {e^{2}}{9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________