Optimal. Leaf size=29 \[ -1+e^{e^{e^5}}-e^{2+\frac {x}{4+\frac {23+x}{\log (2)}}} \]
________________________________________________________________________________________
Rubi [F] time = 0.54, 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 {e^{\frac {46+2 x+(8+x) \log (2)}{23+x+4 \log (2)}} \left (-23 \log (2)-4 \log ^2(2)\right )}{529+46 x+x^2+(184+8 x) \log (2)+16 \log ^2(2)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=-\left ((\log (2) (23+\log (16))) \int \frac {e^{\frac {46+2 x+(8+x) \log (2)}{23+x+4 \log (2)}}}{529+46 x+x^2+(184+8 x) \log (2)+16 \log ^2(2)} \, dx\right )\\ &=-\left ((\log (2) (23+\log (16))) \int \frac {2^{\frac {8+x}{23+x+\log (16)}} e^{\frac {2 (23+x)}{23+x+\log (16)}}}{(23+x+\log (16))^2} \, dx\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.13, size = 32, normalized size = 1.10 \begin {gather*} -\frac {2^{\frac {x}{23+x+\log (16)}} e^2 \log (2) (23+\log (16))}{\log (2) \log (16)+\log (8388608)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.58, size = 24, normalized size = 0.83 \begin {gather*} -e^{\left (\frac {{\left (x + 8\right )} \log \relax (2) + 2 \, x + 46}{x + 4 \, \log \relax (2) + 23}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.15, size = 53, normalized size = 1.83 \begin {gather*} -e^{\left (\frac {x \log \relax (2)}{x + 4 \, \log \relax (2) + 23} + \frac {2 \, x}{x + 4 \, \log \relax (2) + 23} + \frac {8 \, \log \relax (2)}{x + 4 \, \log \relax (2) + 23} + \frac {46}{x + 4 \, \log \relax (2) + 23}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.37, size = 27, normalized size = 0.93
method | result | size |
gosper | \(-{\mathrm e}^{\frac {x \ln \relax (2)+8 \ln \relax (2)+2 x +46}{4 \ln \relax (2)+x +23}}\) | \(27\) |
default | \(-\frac {\left (-4 \ln \relax (2)^{2}-23 \ln \relax (2)\right )^{2} {\mathrm e}^{\frac {-4 \ln \relax (2)^{2}-23 \ln \relax (2)}{4 \ln \relax (2)+x +23}+\ln \relax (2)+2}}{\ln \relax (2)^{2} \left (16 \ln \relax (2)^{2}+184 \ln \relax (2)+529\right )}\) | \(60\) |
norman | \(\frac {\left (-23-4 \ln \relax (2)\right ) {\mathrm e}^{\frac {\left (x +8\right ) \ln \relax (2)+2 x +46}{4 \ln \relax (2)+x +23}}-x \,{\mathrm e}^{\frac {\left (x +8\right ) \ln \relax (2)+2 x +46}{4 \ln \relax (2)+x +23}}}{4 \ln \relax (2)+x +23}\) | \(66\) |
derivativedivides | \(\frac {\left (4 \ln \relax (2)^{2}+23 \ln \relax (2)\right ) \left (-4 \ln \relax (2)^{2}-23 \ln \relax (2)\right ) {\mathrm e}^{\frac {-4 \ln \relax (2)^{2}-23 \ln \relax (2)}{4 \ln \relax (2)+x +23}+\ln \relax (2)+2}}{\ln \relax (2)^{2} \left (16 \ln \relax (2)^{2}+184 \ln \relax (2)+529\right )}\) | \(68\) |
risch | \(-\frac {4 \ln \relax (2) {\mathrm e}^{\frac {x \ln \relax (2)+8 \ln \relax (2)+2 x +46}{4 \ln \relax (2)+x +23}}}{4 \ln \relax (2)+23}-\frac {23 \,{\mathrm e}^{\frac {x \ln \relax (2)+8 \ln \relax (2)+2 x +46}{4 \ln \relax (2)+x +23}}}{4 \ln \relax (2)+23}\) | \(72\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.45, size = 33, normalized size = 1.14 \begin {gather*} -2 \, e^{\left (-\frac {4 \, \log \relax (2)^{2}}{x + 4 \, \log \relax (2) + 23} - \frac {23 \, \log \relax (2)}{x + 4 \, \log \relax (2) + 23} + 2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.15, size = 36, normalized size = 1.24 \begin {gather*} -2^{\frac {x+8}{x+\ln \left (16\right )+23}}\,{\mathrm {e}}^{\frac {2\,x}{x+\ln \left (16\right )+23}+\frac {46}{x+\ln \left (16\right )+23}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.25, size = 22, normalized size = 0.76 \begin {gather*} - e^{\frac {2 x + \left (x + 8\right ) \log {\relax (2 )} + 46}{x + 4 \log {\relax (2 )} + 23}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________