Integrand size = 57, antiderivative size = 30 \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=-3-e^{-2+3 \left (6-e^x\right )+\frac {e^{x/8}}{\log (5)}}+x \]
[Out]
Time = 0.10 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.83, number of steps used = 6, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.070, Rules used = {12, 2306, 2320, 6838} \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=x-e^{-3 e^x+\frac {e^{x/8}}{\log (5)}+16} \]
[In]
[Out]
Rule 12
Rule 2306
Rule 2320
Rule 6838
Rubi steps \begin{align*} \text {integral}& = \frac {\int \left (8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )\right ) \, dx}{8 \log (5)} \\ & = x+\frac {\int e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right ) \, dx}{8 \log (5)} \\ & = x+\frac {\int 5^{\frac {16}{\log (5)}} e^{\frac {e^{x/8}-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right ) \, dx}{8 \log (5)} \\ & = x+\frac {e^{16} \int e^{\frac {e^{x/8}-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right ) \, dx}{8 \log (5)} \\ & = x+\frac {e^{16} \text {Subst}\left (\int e^{-3 x^8+\frac {x}{\log (5)}} \left (-1+24 x^7 \log (5)\right ) \, dx,x,e^{x/8}\right )}{\log (5)} \\ & = -e^{16-3 e^x+\frac {e^{x/8}}{\log (5)}}+x \\ \end{align*}
Time = 0.28 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.83 \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=-e^{16-3 e^x+\frac {e^{x/8}}{\log (5)}}+x \]
[In]
[Out]
Time = 0.26 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.97
method | result | size |
risch | \(x -{\mathrm e}^{-\frac {3 \,{\mathrm e}^{x} \ln \left (5\right )-16 \ln \left (5\right )-{\mathrm e}^{\frac {x}{8}}}{\ln \left (5\right )}}\) | \(29\) |
norman | \(x -{\mathrm e}^{\frac {-3 \,{\mathrm e}^{x} \ln \left (5\right )+{\mathrm e}^{\frac {x}{8}}+16 \ln \left (5\right )}{\ln \left (5\right )}}\) | \(30\) |
parallelrisch | \(\frac {-8 \ln \left (5\right ) {\mathrm e}^{-\frac {3 \,{\mathrm e}^{x} \ln \left (5\right )-16 \ln \left (5\right )-{\mathrm e}^{\frac {x}{8}}}{\ln \left (5\right )}}+8 x \ln \left (5\right )}{8 \ln \left (5\right )}\) | \(41\) |
default | \(\frac {-8 \ln \left (5\right ) {\mathrm e}^{\frac {-3 \,{\mathrm e}^{x} \ln \left (5\right )+{\mathrm e}^{\frac {x}{8}}+16 \ln \left (5\right )}{\ln \left (5\right )}}+8 x \ln \left (5\right )}{8 \ln \left (5\right )}\) | \(42\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.93 \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=x - e^{\left (-\frac {3 \, e^{x} \log \left (5\right ) - e^{\left (\frac {1}{8} \, x\right )} - 16 \, \log \left (5\right )}{\log \left (5\right )}\right )} \]
[In]
[Out]
Time = 0.14 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.80 \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=x - e^{\frac {e^{\frac {x}{8}} - 3 e^{x} \log {\left (5 \right )} + 16 \log {\left (5 \right )}}{\log {\left (5 \right )}}} \]
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.00 \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=\frac {x \log \left (5\right ) - e^{\left (\frac {e^{\left (\frac {1}{8} \, x\right )}}{\log \left (5\right )} - 3 \, e^{x} + 16\right )} \log \left (5\right )}{\log \left (5\right )} \]
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.00 \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=\frac {x \log \left (5\right ) - e^{\left (\frac {e^{\left (\frac {1}{8} \, x\right )}}{\log \left (5\right )} - 3 \, e^{x} + 16\right )} \log \left (5\right )}{\log \left (5\right )} \]
[In]
[Out]
Time = 9.40 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.70 \[ \int \frac {8 \log (5)+e^{\frac {e^{x/8}+16 \log (5)-3 e^x \log (5)}{\log (5)}} \left (-e^{x/8}+24 e^x \log (5)\right )}{8 \log (5)} \, dx=x-{\mathrm {e}}^{16}\,{\mathrm {e}}^{-3\,{\mathrm {e}}^x}\,{\mathrm {e}}^{\frac {{\left ({\mathrm {e}}^x\right )}^{1/8}}{\ln \left (5\right )}} \]
[In]
[Out]