Optimal. Leaf size=29 \[ \frac {x-\log (3) \left (5 \left (e^{(4+\log (x))^2}+x\right )-\frac {1}{\log (5)}\right )}{x} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 26, normalized size of antiderivative = 0.90, number of steps
used = 4, number of rules used = 3, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.075, Rules used = {12, 14, 2326}
\begin {gather*} \frac {\log (3)}{x \log (5)}-5 x^7 \log (3) e^{\log ^2(x)+16} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rule 2326
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {-\log (3)+e^{16+\log ^2(x)} x^8 (-35 \log (3) \log (5)-10 \log (3) \log (5) \log (x))}{x^2} \, dx}{\log (5)}\\ &=\frac {\int \left (-\frac {\log (3)}{x^2}-5 e^{16+\log ^2(x)} x^6 \log (3) \log (5) (7+2 \log (x))\right ) \, dx}{\log (5)}\\ &=\frac {\log (3)}{x \log (5)}-(5 \log (3)) \int e^{16+\log ^2(x)} x^6 (7+2 \log (x)) \, dx\\ &=-5 e^{16+\log ^2(x)} x^7 \log (3)+\frac {\log (3)}{x \log (5)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 26, normalized size = 0.90 \begin {gather*} \frac {\log (3) \left (\frac {1}{x}-5 e^{16+\log ^2(x)} x^7 \log (5)\right )}{\log (5)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.38, size = 33, normalized size = 1.14
method | result | size |
risch | \(-5 \ln \left (3\right ) x^{7} {\mathrm e}^{\ln \left (x \right )^{2}+16}+\frac {\ln \left (3\right )}{\ln \left (5\right ) x}\) | \(26\) |
norman | \(\frac {\frac {\ln \left (3\right )}{\ln \left (5\right )}-5 \ln \left (3\right ) {\mathrm e}^{\ln \left (x \right )^{2}+8 \ln \left (x \right )+16}}{x}\) | \(28\) |
default | \(\frac {-\frac {5 \ln \left (3\right ) \ln \left (5\right ) {\mathrm e}^{\ln \left (x \right )^{2}+8 \ln \left (x \right )+16}}{x}+\frac {\ln \left (3\right )}{x}}{\ln \left (5\right )}\) | \(33\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains higher order function than in optimal. Order 4 vs. order
3.
time = 0.31, size = 94, normalized size = 3.24 \begin {gather*} \frac {35 i \, \sqrt {\pi } \operatorname {erf}\left (i \, \log \left (x\right ) + \frac {7}{2} i\right ) e^{\frac {15}{4}} \log \left (5\right ) \log \left (3\right ) + 5 \, {\left (\frac {7 \, \sqrt {\pi } {\left (\operatorname {erf}\left (\frac {1}{2} \, \sqrt {-{\left (2 \, \log \left (x\right ) + 7\right )}^{2}}\right ) - 1\right )} {\left (2 \, \log \left (x\right ) + 7\right )}}{\sqrt {-{\left (2 \, \log \left (x\right ) + 7\right )}^{2}}} - 2 \, e^{\left (\frac {1}{4} \, {\left (2 \, \log \left (x\right ) + 7\right )}^{2}\right )}\right )} e^{\frac {15}{4}} \log \left (5\right ) \log \left (3\right ) + \frac {2 \, \log \left (3\right )}{x}}{2 \, \log \left (5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 31, normalized size = 1.07 \begin {gather*} -\frac {5 \, e^{\left (\log \left (x\right )^{2} + 8 \, \log \left (x\right ) + 16\right )} \log \left (5\right ) \log \left (3\right ) - \log \left (3\right )}{x \log \left (5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.09, size = 24, normalized size = 0.83 \begin {gather*} - 5 x^{7} e^{\log {\left (x \right )}^{2} + 16} \log {\left (3 \right )} + \frac {\log {\left (3 \right )}}{x \log {\left (5 \right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.41, size = 30, normalized size = 1.03 \begin {gather*} -\frac {5 \, x^{8} e^{\left (\log \left (x\right )^{2} + 16\right )} \log \left (5\right ) \log \left (3\right ) - \log \left (3\right )}{x \log \left (5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.34, size = 25, normalized size = 0.86 \begin {gather*} \frac {\ln \left (3\right )}{x\,\ln \left (5\right )}-5\,x^7\,{\mathrm {e}}^{16}\,{\mathrm {e}}^{{\ln \left (x\right )}^2}\,\ln \left (3\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________