Optimal. Leaf size=31 \[ e^{\left (-5-x^2+3 x (5+x) \left (3+2 x+e^{-x} x^2\right )\right )^2} \]
________________________________________________________________________________________
Rubi [F] time = 14.06, 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 \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) \left (1350 x^5+180 x^6-108 x^7-18 x^8+e^{2 x} \left (-450+3290 x+10080 x^2+7936 x^3+2280 x^4+216 x^5\right )+e^x \left (-450 x^2+5430 x^3+5730 x^4+1038 x^5-156 x^6-36 x^7\right )\right ) \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (1350 \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^5+180 \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^6-108 \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^7-18 \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^8-6 \exp \left (-x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^2 \left (75-905 x-955 x^2-173 x^3+26 x^4+6 x^5\right )+2 \exp \left (e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) \left (-225+1645 x+5040 x^2+3968 x^3+1140 x^4+108 x^5\right )\right ) \, dx\\ &=2 \int \exp \left (e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) \left (-225+1645 x+5040 x^2+3968 x^3+1140 x^4+108 x^5\right ) \, dx-6 \int \exp \left (-x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^2 \left (75-905 x-955 x^2-173 x^3+26 x^4+6 x^5\right ) \, dx-18 \int \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^8 \, dx-108 \int \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^7 \, dx+180 \int \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^6 \, dx+1350 \int \exp \left (-2 x+e^{-2 x} \left (225 x^6+90 x^7+9 x^8+e^{2 x} \left (25-450 x+1645 x^2+3360 x^3+1984 x^4+456 x^5+36 x^6\right )+e^x \left (-150 x^3+1320 x^4+1410 x^5+408 x^6+36 x^7\right )\right )\right ) x^5 \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.22, size = 38, normalized size = 1.23 \begin {gather*} e^{e^{-2 x} \left (3 x^3 (5+x)+e^x \left (-5+45 x+38 x^2+6 x^3\right )\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.92, size = 91, normalized size = 2.94 \begin {gather*} e^{\left ({\left (9 \, x^{8} + 90 \, x^{7} + 225 \, x^{6} + {\left (36 \, x^{6} + 456 \, x^{5} + 1984 \, x^{4} + 3360 \, x^{3} + 1645 \, x^{2} - 452 \, x + 25\right )} e^{\left (2 \, x\right )} + 6 \, {\left (6 \, x^{7} + 68 \, x^{6} + 235 \, x^{5} + 220 \, x^{4} - 25 \, x^{3}\right )} e^{x}\right )} e^{\left (-2 \, x\right )} + 2 \, x\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 -2 \, {\left (9 \, x^{8} + 54 \, x^{7} - 90 \, x^{6} - 675 \, x^{5} - {\left (108 \, x^{5} + 1140 \, x^{4} + 3968 \, x^{3} + 5040 \, x^{2} + 1645 \, x - 225\right )} e^{\left (2 \, x\right )} + 3 \, {\left (6 \, x^{7} + 26 \, x^{6} - 173 \, x^{5} - 955 \, x^{4} - 905 \, x^{3} + 75 \, x^{2}\right )} e^{x}\right )} e^{\left ({\left (9 \, x^{8} + 90 \, x^{7} + 225 \, x^{6} + {\left (36 \, x^{6} + 456 \, x^{5} + 1984 \, x^{4} + 3360 \, x^{3} + 1645 \, x^{2} - 450 \, x + 25\right )} e^{\left (2 \, x\right )} + 6 \, {\left (6 \, x^{7} + 68 \, x^{6} + 235 \, x^{5} + 220 \, x^{4} - 25 \, x^{3}\right )} e^{x}\right )} e^{\left (-2 \, x\right )} - 2 \, x\right )}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.14, size = 116, normalized size = 3.74
method | result | size |
risch | \({\mathrm e}^{\left (36 x^{7} {\mathrm e}^{x}+9 x^{8}+408 x^{6} {\mathrm e}^{x}+36 \,{\mathrm e}^{2 x} x^{6}+90 x^{7}+1410 x^{5} {\mathrm e}^{x}+456 x^{5} {\mathrm e}^{2 x}+225 x^{6}+1320 \,{\mathrm e}^{x} x^{4}+1984 \,{\mathrm e}^{2 x} x^{4}-150 \,{\mathrm e}^{x} x^{3}+3360 \,{\mathrm e}^{2 x} x^{3}+1645 \,{\mathrm e}^{2 x} x^{2}-450 x \,{\mathrm e}^{2 x}+25 \,{\mathrm e}^{2 x}\right ) {\mathrm e}^{-2 x}}\) | \(116\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.59, size = 103, normalized size = 3.32 \begin {gather*} e^{\left (9 \, x^{8} e^{\left (-2 \, x\right )} + 36 \, x^{7} e^{\left (-x\right )} + 90 \, x^{7} e^{\left (-2 \, x\right )} + 408 \, x^{6} e^{\left (-x\right )} + 225 \, x^{6} e^{\left (-2 \, x\right )} + 36 \, x^{6} + 1410 \, x^{5} e^{\left (-x\right )} + 456 \, x^{5} + 1320 \, x^{4} e^{\left (-x\right )} + 1984 \, x^{4} - 150 \, x^{3} e^{\left (-x\right )} + 3360 \, x^{3} + 1645 \, x^{2} - 450 \, x + 25\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.89, size = 117, normalized size = 3.77 \begin {gather*} {\mathrm {e}}^{-450\,x}\,{\mathrm {e}}^{25}\,{\mathrm {e}}^{36\,x^6}\,{\mathrm {e}}^{456\,x^5}\,{\mathrm {e}}^{1645\,x^2}\,{\mathrm {e}}^{1984\,x^4}\,{\mathrm {e}}^{3360\,x^3}\,{\mathrm {e}}^{9\,x^8\,{\mathrm {e}}^{-2\,x}}\,{\mathrm {e}}^{36\,x^7\,{\mathrm {e}}^{-x}}\,{\mathrm {e}}^{90\,x^7\,{\mathrm {e}}^{-2\,x}}\,{\mathrm {e}}^{-150\,x^3\,{\mathrm {e}}^{-x}}\,{\mathrm {e}}^{225\,x^6\,{\mathrm {e}}^{-2\,x}}\,{\mathrm {e}}^{408\,x^6\,{\mathrm {e}}^{-x}}\,{\mathrm {e}}^{1320\,x^4\,{\mathrm {e}}^{-x}}\,{\mathrm {e}}^{1410\,x^5\,{\mathrm {e}}^{-x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.63, size = 85, normalized size = 2.74 \begin {gather*} e^{\left (9 x^{8} + 90 x^{7} + 225 x^{6} + \left (36 x^{7} + 408 x^{6} + 1410 x^{5} + 1320 x^{4} - 150 x^{3}\right ) e^{x} + \left (36 x^{6} + 456 x^{5} + 1984 x^{4} + 3360 x^{3} + 1645 x^{2} - 450 x + 25\right ) e^{2 x}\right ) e^{- 2 x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________