Optimal. Leaf size=24 \[ e^{\frac {9 x}{\left (-3+e^e\right ) (4 x+x \log (2))^2}} x \]
________________________________________________________________________________________
Rubi [A] time = 0.41, antiderivative size = 24, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 2, integrand size = 115, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.017, Rules used = {6, 2288} \begin {gather*} x e^{-\frac {9}{\left (3-e^e\right ) x (4+\log (2))^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rule 2288
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\exp \left (\frac {9}{-48 x-24 x \log (2)-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )}\right ) \left (-9+x (-48-24 \log (2))-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )\right )}{-48 x-24 x \log (2)-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )} \, dx\\ &=\int \frac {\exp \left (\frac {9}{-48 x-24 x \log (2)-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )}\right ) \left (-9+x \left (-48-24 \log (2)-3 \log ^2(2)\right )+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )\right )}{-48 x-24 x \log (2)-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )} \, dx\\ &=\int \frac {\exp \left (\frac {9}{-48 x-24 x \log (2)-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )}\right ) \left (-9+x \left (-48-24 \log (2)-3 \log ^2(2)\right )+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )\right )}{x (-48-24 \log (2))-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )} \, dx\\ &=\int \frac {\exp \left (\frac {9}{-48 x-24 x \log (2)-3 x \log ^2(2)+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )}\right ) \left (-9+x \left (-48-24 \log (2)-3 \log ^2(2)\right )+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )\right )}{x \left (-48-24 \log (2)-3 \log ^2(2)\right )+e^e \left (16 x+8 x \log (2)+x \log ^2(2)\right )} \, dx\\ &=e^{-\frac {9}{\left (3-e^e\right ) x (4+\log (2))^2}} x\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.07, size = 22, normalized size = 0.92 \begin {gather*} e^{\frac {9}{\left (-3+e^e\right ) x (4+\log (2))^2}} x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.82, size = 43, normalized size = 1.79 \begin {gather*} x e^{\left (-\frac {9}{3 \, x \log \relax (2)^{2} - {\left (x \log \relax (2)^{2} + 8 \, x \log \relax (2) + 16 \, x\right )} e^{e} + 24 \, x \log \relax (2) + 48 \, x}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.51, size = 806, normalized size = 33.58 result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.54, size = 22, normalized size = 0.92
method | result | size |
risch | \(x \,{\mathrm e}^{\frac {9}{x \left (4+\ln \relax (2)\right )^{2} \left ({\mathrm e}^{{\mathrm e}}-3\right )}}\) | \(22\) |
gosper | \(x \,{\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}}\) | \(43\) |
norman | \(x \,{\mathrm e}^{\frac {9}{\left (x \ln \relax (2)^{2}+8 x \ln \relax (2)+16 x \right ) {\mathrm e}^{{\mathrm e}}-3 x \ln \relax (2)^{2}-24 x \ln \relax (2)-48 x}}\) | \(43\) |
derivativedivides | \(-\frac {9 \left (\expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )+\frac {16 x \,{\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}}}{3}+\frac {48 \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}+\frac {8 \ln \relax (2) {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{3}+\frac {24 \ln \relax (2) \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}+\frac {\ln \relax (2)^{2} {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{3}+\frac {3 \ln \relax (2)^{2} \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}-\frac {16 \,{\mathrm e}^{{\mathrm e}} {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{9}-\frac {16 \,{\mathrm e}^{{\mathrm e}} \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}-\frac {8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2) {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{9}-\frac {8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2) \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}-\frac {{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2} {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{9}-\frac {{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2} \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}\) | \(841\) |
default | \(-\frac {9 \left (\expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )+\frac {16 x \,{\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}}}{3}+\frac {48 \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}+\frac {8 \ln \relax (2) {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{3}+\frac {24 \ln \relax (2) \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}+\frac {\ln \relax (2)^{2} {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{3}+\frac {3 \ln \relax (2)^{2} \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}-\frac {16 \,{\mathrm e}^{{\mathrm e}} {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{9}-\frac {16 \,{\mathrm e}^{{\mathrm e}} \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}-\frac {8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2) {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{9}-\frac {8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2) \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}-\frac {{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2} {\mathrm e}^{\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}} x}{9}-\frac {{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2} \expIntegralEi \left (1, -\frac {9}{x \left ({\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48\right )}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}\right )}{{\mathrm e}^{{\mathrm e}} \ln \relax (2)^{2}+8 \,{\mathrm e}^{{\mathrm e}} \ln \relax (2)-3 \ln \relax (2)^{2}+16 \,{\mathrm e}^{{\mathrm e}}-24 \ln \relax (2)-48}\) | \(841\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [C] time = 0.67, size = 266, normalized size = 11.08 \begin {gather*} \frac {9 \, {\rm Ei}\left (\frac {9}{x {\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}}\right )}{{\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}} - \frac {9 \, e^{e} \Gamma \left (-1, -\frac {9}{x {\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}}\right ) \log \relax (2)^{2}}{{\left (e^{e} - 3\right )}^{2} {\left (\log \relax (2) + 4\right )}^{4}} - \frac {72 \, e^{e} \Gamma \left (-1, -\frac {9}{x {\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}}\right ) \log \relax (2)}{{\left (e^{e} - 3\right )}^{2} {\left (\log \relax (2) + 4\right )}^{4}} + \frac {27 \, \Gamma \left (-1, -\frac {9}{x {\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}}\right ) \log \relax (2)^{2}}{{\left (e^{e} - 3\right )}^{2} {\left (\log \relax (2) + 4\right )}^{4}} - \frac {144 \, e^{e} \Gamma \left (-1, -\frac {9}{x {\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}}\right )}{{\left (e^{e} - 3\right )}^{2} {\left (\log \relax (2) + 4\right )}^{4}} + \frac {216 \, \Gamma \left (-1, -\frac {9}{x {\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}}\right ) \log \relax (2)}{{\left (e^{e} - 3\right )}^{2} {\left (\log \relax (2) + 4\right )}^{4}} + \frac {432 \, \Gamma \left (-1, -\frac {9}{x {\left (e^{e} - 3\right )} {\left (\log \relax (2) + 4\right )}^{2}}\right )}{{\left (e^{e} - 3\right )}^{2} {\left (\log \relax (2) + 4\right )}^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.31, size = 47, normalized size = 1.96 \begin {gather*} x\,{\mathrm {e}}^{-\frac {9}{48\,x+24\,x\,\ln \relax (2)-16\,x\,{\mathrm {e}}^{\mathrm {e}}+3\,x\,{\ln \relax (2)}^2-8\,x\,{\mathrm {e}}^{\mathrm {e}}\,\ln \relax (2)-x\,{\mathrm {e}}^{\mathrm {e}}\,{\ln \relax (2)}^2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.28, size = 44, normalized size = 1.83 \begin {gather*} x e^{\frac {9}{- 48 x - 24 x \log {\relax (2 )} - 3 x \log {\relax (2 )}^{2} + \left (x \log {\relax (2 )}^{2} + 8 x \log {\relax (2 )} + 16 x\right ) e^{e}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________