Optimal. Leaf size=21 \[ 5+e^{x+\frac {1}{5} x \log (3)} (x-16 (1+x)) \]
________________________________________________________________________________________
Rubi [B] time = 0.05, antiderivative size = 52, normalized size of antiderivative = 2.48, number of steps used = 4, number of rules used = 4, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.129, Rules used = {12, 2187, 2176, 2194} \begin {gather*} \frac {25\ 3^{\frac {x}{5}+1} e^x}{5+\log (3)}-\frac {3^{x/5} e^x (15 x (5+\log (3))+155+16 \log (3))}{5+\log (3)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2176
Rule 2187
Rule 2194
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{5} \int e^{\frac {1}{5} (5 x+x \log (3))} (-155-75 x+(-16-15 x) \log (3)) \, dx\\ &=\frac {1}{5} \int e^{\frac {1}{5} x (5+\log (3))} (-155-16 \log (3)-15 x (5+\log (3))) \, dx\\ &=-\frac {3^{x/5} e^x (155+16 \log (3)+15 x (5+\log (3)))}{5+\log (3)}+15 \int e^{\frac {1}{5} x (5+\log (3))} \, dx\\ &=\frac {25\ 3^{1+\frac {x}{5}} e^x}{5+\log (3)}-\frac {3^{x/5} e^x (155+16 \log (3)+15 x (5+\log (3)))}{5+\log (3)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.06, size = 19, normalized size = 0.90 \begin {gather*} -\frac {1}{5} 3^{x/5} e^x (80+75 x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.53, size = 15, normalized size = 0.71 \begin {gather*} -{\left (15 \, x + 16\right )} e^{\left (\frac {1}{5} \, x \log \relax (3) + x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.24, size = 49, normalized size = 2.33 \begin {gather*} -\frac {{\left (15 \, x \log \relax (3)^{2} + 150 \, x \log \relax (3) + 16 \, \log \relax (3)^{2} + 375 \, x + 160 \, \log \relax (3) + 400\right )} e^{\left (\frac {1}{5} \, x \log \relax (3) + x\right )}}{\log \relax (3)^{2} + 10 \, \log \relax (3) + 25} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 15, normalized size = 0.71
method | result | size |
risch | \(\frac {\left (-75 x -80\right ) 3^{\frac {x}{5}} {\mathrm e}^{x}}{5}\) | \(15\) |
gosper | \(-{\mathrm e}^{\frac {x \ln \relax (3)}{5}+x} \left (15 x +16\right )\) | \(16\) |
norman | \(-15 x \,{\mathrm e}^{\frac {x \ln \relax (3)}{5}+x}-16 \,{\mathrm e}^{\frac {x \ln \relax (3)}{5}+x}\) | \(23\) |
meijerg | \(-\frac {155 \left (1-{\mathrm e}^{-\frac {x \left (-\ln \relax (3)-5\right )}{5}}\right )}{-\ln \relax (3)-5}+\frac {5 \left (-15 \ln \relax (3)-75\right ) \left (1-\frac {\left (2+\frac {2 x \left (-\ln \relax (3)-5\right )}{5}\right ) {\mathrm e}^{-\frac {x \left (-\ln \relax (3)-5\right )}{5}}}{2}\right )}{\left (-\ln \relax (3)-5\right )^{2}}-\frac {16 \ln \relax (3) \left (1-{\mathrm e}^{-\frac {x \left (-\ln \relax (3)-5\right )}{5}}\right )}{-\ln \relax (3)-5}\) | \(93\) |
derivativedivides | \(\frac {-16 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x} \ln \relax (3)-\frac {375 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x} \left (\frac {\ln \relax (3)}{5}+1\right ) x}{5+\ln \relax (3)}+\frac {375 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x}}{5+\ln \relax (3)}-\frac {75 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x} \ln \relax (3) \left (\frac {\ln \relax (3)}{5}+1\right ) x}{5+\ln \relax (3)}+\frac {75 \ln \relax (3) {\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x}}{5+\ln \relax (3)}-155 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x}}{5+\ln \relax (3)}\) | \(119\) |
default | \(\frac {-16 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x} \ln \relax (3)-\frac {375 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x} \left (\frac {\ln \relax (3)}{5}+1\right ) x}{5+\ln \relax (3)}+\frac {375 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x}}{5+\ln \relax (3)}-\frac {75 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x} \ln \relax (3) \left (\frac {\ln \relax (3)}{5}+1\right ) x}{5+\ln \relax (3)}+\frac {75 \ln \relax (3) {\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x}}{5+\ln \relax (3)}-155 \,{\mathrm e}^{\left (\frac {\ln \relax (3)}{5}+1\right ) x}}{5+\ln \relax (3)}\) | \(119\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.44, size = 97, normalized size = 4.62 \begin {gather*} -\frac {15 \, {\left (x {\left (\log \relax (3) + 5\right )} - 5\right )} e^{\left (\frac {1}{5} \, x \log \relax (3) + x\right )} \log \relax (3)}{\log \relax (3)^{2} + 10 \, \log \relax (3) + 25} - \frac {75 \, {\left (x {\left (\log \relax (3) + 5\right )} - 5\right )} e^{\left (\frac {1}{5} \, x \log \relax (3) + x\right )}}{\log \relax (3)^{2} + 10 \, \log \relax (3) + 25} - \frac {16 \, e^{\left (\frac {1}{5} \, x \log \relax (3) + x\right )} \log \relax (3)}{\log \relax (3) + 5} - \frac {155 \, e^{\left (\frac {1}{5} \, x \log \relax (3) + x\right )}}{\log \relax (3) + 5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.07, size = 14, normalized size = 0.67 \begin {gather*} -3^{x/5}\,{\mathrm {e}}^x\,\left (15\,x+16\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.12, size = 15, normalized size = 0.71 \begin {gather*} \left (- 15 x - 16\right ) e^{\frac {x \log {\relax (3 )}}{5} + x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________