Optimal. Leaf size=36 \[ x-\frac {e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}} \left (x+\frac {e^{-x} x}{3}\right )}{x} \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 3.02, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {1}{6} e^{-x} \left (6 e^x+e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}} \left (2+e^{\frac {1}{2} \left (e^{x^2}+x\right )} \left (-5-15 e^x+e^{x^2} \left (-10 x-30 e^x x\right )\right )\right )\right ) \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{6} \int e^{-x} \left (6 e^x+e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}} \left (2+e^{\frac {1}{2} \left (e^{x^2}+x\right )} \left (-5-15 e^x+e^{x^2} \left (-10 x-30 e^x x\right )\right )\right )\right ) \, dx\\ &=\frac {1}{6} \int \left (6+e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x} \left (2-5 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}-15 e^{\frac {e^{x^2}}{2}+\frac {3 x}{2}}-10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}+x^2} x-30 e^{\frac {e^{x^2}}{2}+\frac {3 x}{2}+x^2} x\right )\right ) \, dx\\ &=x+\frac {1}{6} \int e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x} \left (2-5 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}-15 e^{\frac {e^{x^2}}{2}+\frac {3 x}{2}}-10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}+x^2} x-30 e^{\frac {e^{x^2}}{2}+\frac {3 x}{2}+x^2} x\right ) \, dx\\ &=x+\frac {1}{6} \int \left (2 e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x}-5 e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+x\right )}-15 \exp \left (5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+3 x\right )\right )-10 \exp \left (5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+x+2 x^2\right )\right ) x-30 \exp \left (5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+3 x+2 x^2\right )\right ) x\right ) \, dx\\ &=x+\frac {1}{3} \int e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x} \, dx-\frac {5}{6} \int e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+x\right )} \, dx-\frac {5}{3} \int \exp \left (5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+x+2 x^2\right )\right ) x \, dx-\frac {5}{2} \int \exp \left (5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+3 x\right )\right ) \, dx-5 \int \exp \left (5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x+\frac {1}{2} \left (e^{x^2}+3 x+2 x^2\right )\right ) x \, dx\\ &=x+\frac {1}{3} \int e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x} \, dx-\frac {5}{6} \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}-x\right )} \, dx-\frac {5}{3} \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}-x+2 x^2\right )} x \, dx-\frac {5}{2} \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}+x\right )} \, dx-5 \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}+x+2 x^2\right )} x \, dx\\ &=x+\frac {1}{3} \int e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x} \, dx-\frac {5}{3} \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}-x+2 x^2\right )} x \, dx-\frac {5}{3} \text {Subst}\left (\int e^{\frac {e^{4 x^2}}{2}+5 e^{\frac {e^{4 x^2}}{2}+x}-x} \, dx,x,\frac {x}{2}\right )-5 \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}+x+2 x^2\right )} x \, dx-5 \text {Subst}\left (\int e^{\frac {e^{4 x^2}}{2}+5 e^{\frac {e^{4 x^2}}{2}+x}+x} \, dx,x,\frac {x}{2}\right )\\ &=x+\frac {1}{3} \int e^{5 e^{\frac {1}{2} \left (e^{x^2}+x\right )}-x} \, dx-\frac {5}{3} \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}-x+2 x^2\right )} x \, dx-\frac {5}{3} \text {Subst}\left (\int e^{\frac {1}{2} \left (e^{4 x^2}+10 e^{\frac {e^{4 x^2}}{2}+x}-2 x\right )} \, dx,x,\frac {x}{2}\right )-5 \int e^{\frac {1}{2} \left (10 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}+e^{x^2}+x+2 x^2\right )} x \, dx-5 \text {Subst}\left (\int e^{\frac {1}{2} \left (e^{4 x^2}+10 e^{\frac {e^{4 x^2}}{2}+x}+2 x\right )} \, dx,x,\frac {x}{2}\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.20, size = 36, normalized size = 1.00 \begin {gather*} \frac {1}{6} e^{5 e^{\frac {e^{x^2}}{2}+\frac {x}{2}}} \left (-6-2 e^{-x}\right )+x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 29, normalized size = 0.81
method | result | size |
risch | \(x -\frac {\left (1+3 \,{\mathrm e}^{x}\right ) {\mathrm e}^{-x +5 \,{\mathrm e}^{\frac {{\mathrm e}^{x^{2}}}{2}+\frac {x}{2}}}}{3}\) | \(29\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.35, size = 28, normalized size = 0.78 \begin {gather*} -\frac {1}{3} \, {\left (3 \, e^{x} + 1\right )} e^{\left (-x + 5 \, e^{\left (\frac {1}{2} \, x + \frac {1}{2} \, e^{\left (x^{2}\right )}\right )}\right )} + x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.37, size = 34, normalized size = 0.94 \begin {gather*} \frac {1}{3} \, {\left (3 \, x e^{x} - {\left (3 \, e^{x} + 1\right )} e^{\left (5 \, e^{\left (\frac {1}{2} \, x + \frac {1}{2} \, e^{\left (x^{2}\right )}\right )}\right )}\right )} e^{\left (-x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.39, size = 29, normalized size = 0.81 \begin {gather*} x + \frac {\left (- 3 e^{x} - 1\right ) e^{- x} e^{5 e^{\frac {x}{2} + \frac {e^{x^{2}}}{2}}}}{3} \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*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.16, size = 26, normalized size = 0.72 \begin {gather*} x-{\mathrm {e}}^{5\,\sqrt {{\mathrm {e}}^{{\mathrm {e}}^{x^2}}}\,\sqrt {{\mathrm {e}}^x}-x}\,\left ({\mathrm {e}}^x+\frac {1}{3}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________