Optimal. Leaf size=25 \[ -16+x+\frac {x}{e^5}-\log ^2(2)-(3+x)^2 (3+\log (x)) \]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 42, normalized size of antiderivative = 1.68, number of steps used = 7, number of rules used = 4, integrand size = 38, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.105, Rules used = {12, 14, 2313, 9} \begin {gather*} -\frac {7 x^2}{2}-\left (x^2+6 x\right ) \log (x)-\left (23-\frac {1}{e^5}\right ) x+\frac {1}{2} (x+6)^2-9 \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 9
Rule 12
Rule 14
Rule 2313
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {x+e^5 \left (-9-23 x-7 x^2\right )+e^5 \left (-6 x-2 x^2\right ) \log (x)}{x} \, dx}{e^5}\\ &=\frac {\int \left (\frac {-9 e^5+\left (1-23 e^5\right ) x-7 e^5 x^2}{x}-2 e^5 (3+x) \log (x)\right ) \, dx}{e^5}\\ &=-(2 \int (3+x) \log (x) \, dx)+\frac {\int \frac {-9 e^5+\left (1-23 e^5\right ) x-7 e^5 x^2}{x} \, dx}{e^5}\\ &=-\left (\left (6 x+x^2\right ) \log (x)\right )+2 \int \frac {6+x}{2} \, dx+\frac {\int \left (1-23 e^5-\frac {9 e^5}{x}-7 e^5 x\right ) \, dx}{e^5}\\ &=-\left (\left (23-\frac {1}{e^5}\right ) x\right )-\frac {7 x^2}{2}+\frac {1}{2} (6+x)^2-9 \log (x)-\left (6 x+x^2\right ) \log (x)\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.01, size = 30, normalized size = 1.20 \begin {gather*} -17 x+\frac {x}{e^5}-3 x^2-9 \log (x)-6 x \log (x)-x^2 \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.56, size = 33, normalized size = 1.32 \begin {gather*} -{\left ({\left (x^{2} + 6 \, x + 9\right )} e^{5} \log \relax (x) + {\left (3 \, x^{2} + 17 \, x\right )} e^{5} - x\right )} e^{\left (-5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.22, size = 41, normalized size = 1.64 \begin {gather*} -{\left (x^{2} e^{5} \log \relax (x) + 3 \, x^{2} e^{5} + 6 \, x e^{5} \log \relax (x) + 17 \, x e^{5} + 9 \, e^{5} \log \relax (x) - x\right )} e^{\left (-5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.07, size = 26, normalized size = 1.04
method | result | size |
risch | \(-\left (x +6\right ) x \ln \relax (x )-3 x^{2}-17 x +{\mathrm e}^{-5} x -9 \ln \relax (x )\) | \(26\) |
norman | \(-9 \ln \relax (x )-3 x^{2}-6 x \ln \relax (x )-x^{2} \ln \relax (x )-{\mathrm e}^{-5} \left (-1+17 \,{\mathrm e}^{5}\right ) x\) | \(36\) |
default | \({\mathrm e}^{-5} \left (-2 \,{\mathrm e}^{5} \left (\frac {x^{2} \ln \relax (x )}{2}-\frac {x^{2}}{4}\right )-6 \,{\mathrm e}^{5} \left (x \ln \relax (x )-x \right )-\frac {7 x^{2} {\mathrm e}^{5}}{2}-23 x \,{\mathrm e}^{5}-9 \,{\mathrm e}^{5} \ln \relax (x )+x \right )\) | \(55\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.43, size = 54, normalized size = 2.16 \begin {gather*} -\frac {1}{2} \, {\left (7 \, x^{2} e^{5} + {\left (2 \, x^{2} \log \relax (x) - x^{2}\right )} e^{5} + 12 \, {\left (x \log \relax (x) - x\right )} e^{5} + 46 \, x e^{5} + 18 \, e^{5} \log \relax (x) - 2 \, x\right )} e^{\left (-5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.59, size = 29, normalized size = 1.16 \begin {gather*} x\,{\mathrm {e}}^{-5}-9\,\ln \relax (x)-x^2\,\ln \relax (x)-17\,x-6\,x\,\ln \relax (x)-3\,x^2 \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.15, size = 41, normalized size = 1.64 \begin {gather*} \left (- x^{2} - 6 x\right ) \log {\relax (x )} + \frac {- 3 x^{2} e^{5} - x \left (-1 + 17 e^{5}\right ) - 9 e^{5} \log {\relax (x )}}{e^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________