Optimal. Leaf size=18 \[ \frac {\log \left (\frac {3}{x}\right )}{12 x^3 (2+x)} \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(62\) vs. \(2(18)=36\).
time = 0.30, antiderivative size = 62, normalized size of antiderivative = 3.44, number of steps
used = 14, number of rules used = 9, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {1608, 27, 12,
6874, 46, 2404, 2341, 2351, 31} \begin {gather*} \frac {\log \left (\frac {3}{x}\right )}{24 x^3}-\frac {\log \left (\frac {3}{x}\right )}{48 x^2}+\frac {\log \left (\frac {3}{x}\right )}{96 x}+\frac {x \log \left (\frac {3}{x}\right )}{192 (x+2)}+\frac {\log (x)}{192} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 27
Rule 31
Rule 46
Rule 1608
Rule 2341
Rule 2351
Rule 2404
Rule 6874
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-2-x+(-6-4 x) \log \left (\frac {3}{x}\right )}{x^4 \left (48+48 x+12 x^2\right )} \, dx\\ &=\int \frac {-2-x+(-6-4 x) \log \left (\frac {3}{x}\right )}{12 x^4 (2+x)^2} \, dx\\ &=\frac {1}{12} \int \frac {-2-x+(-6-4 x) \log \left (\frac {3}{x}\right )}{x^4 (2+x)^2} \, dx\\ &=\frac {1}{12} \int \left (-\frac {1}{x^4 (2+x)}-\frac {2 (3+2 x) \log \left (\frac {3}{x}\right )}{x^4 (2+x)^2}\right ) \, dx\\ &=-\left (\frac {1}{12} \int \frac {1}{x^4 (2+x)} \, dx\right )-\frac {1}{6} \int \frac {(3+2 x) \log \left (\frac {3}{x}\right )}{x^4 (2+x)^2} \, dx\\ &=-\left (\frac {1}{12} \int \left (\frac {1}{2 x^4}-\frac {1}{4 x^3}+\frac {1}{8 x^2}-\frac {1}{16 x}+\frac {1}{16 (2+x)}\right ) \, dx\right )-\frac {1}{6} \int \left (\frac {3 \log \left (\frac {3}{x}\right )}{4 x^4}-\frac {\log \left (\frac {3}{x}\right )}{4 x^3}+\frac {\log \left (\frac {3}{x}\right )}{16 x^2}-\frac {\log \left (\frac {3}{x}\right )}{16 (2+x)^2}\right ) \, dx\\ &=\frac {1}{72 x^3}-\frac {1}{96 x^2}+\frac {1}{96 x}+\frac {\log (x)}{192}-\frac {1}{192} \log (2+x)-\frac {1}{96} \int \frac {\log \left (\frac {3}{x}\right )}{x^2} \, dx+\frac {1}{96} \int \frac {\log \left (\frac {3}{x}\right )}{(2+x)^2} \, dx+\frac {1}{24} \int \frac {\log \left (\frac {3}{x}\right )}{x^3} \, dx-\frac {1}{8} \int \frac {\log \left (\frac {3}{x}\right )}{x^4} \, dx\\ &=\frac {\log \left (\frac {3}{x}\right )}{24 x^3}-\frac {\log \left (\frac {3}{x}\right )}{48 x^2}+\frac {\log \left (\frac {3}{x}\right )}{96 x}+\frac {x \log \left (\frac {3}{x}\right )}{192 (2+x)}+\frac {\log (x)}{192}-\frac {1}{192} \log (2+x)+\frac {1}{192} \int \frac {1}{2+x} \, dx\\ &=\frac {\log \left (\frac {3}{x}\right )}{24 x^3}-\frac {\log \left (\frac {3}{x}\right )}{48 x^2}+\frac {\log \left (\frac {3}{x}\right )}{96 x}+\frac {x \log \left (\frac {3}{x}\right )}{192 (2+x)}+\frac {\log (x)}{192}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 18, normalized size = 1.00 \begin {gather*} \frac {\log \left (\frac {3}{x}\right )}{12 x^3 (2+x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(54\) vs.
\(2(18)=36\).
time = 0.68, size = 55, normalized size = 3.06
method | result | size |
norman | \(\frac {\ln \left (\frac {3}{x}\right )}{12 x^{3} \left (2+x \right )}\) | \(17\) |
risch | \(\frac {\ln \left (\frac {3}{x}\right )}{12 x^{3} \left (2+x \right )}\) | \(17\) |
derivativedivides | \(\frac {\ln \left (\frac {3}{x}\right )}{24 x^{3}}-\frac {\ln \left (\frac {3}{x}\right )}{48 x^{2}}+\frac {\ln \left (\frac {3}{x}\right )}{96 x}-\frac {\ln \left (\frac {3}{x}\right )}{32 x \left (3+\frac {6}{x}\right )}\) | \(55\) |
default | \(\frac {\ln \left (\frac {3}{x}\right )}{24 x^{3}}-\frac {\ln \left (\frac {3}{x}\right )}{48 x^{2}}+\frac {\ln \left (\frac {3}{x}\right )}{96 x}-\frac {\ln \left (\frac {3}{x}\right )}{32 x \left (3+\frac {6}{x}\right )}\) | \(55\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 79 vs.
\(2 (16) = 32\).
time = 0.51, size = 79, normalized size = 4.39 \begin {gather*} -\frac {6 \, x^{3} + 6 \, x^{2} + 3 \, {\left (x^{4} + 2 \, x^{3} + 4\right )} \log \left (x\right ) - 4 \, x - 12 \, \log \left (3\right ) + 4}{144 \, {\left (x^{4} + 2 \, x^{3}\right )}} + \frac {3 \, x^{3} + 3 \, x^{2} - 2 \, x + 2}{72 \, {\left (x^{4} + 2 \, x^{3}\right )}} + \frac {1}{48} \, \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.42, size = 19, normalized size = 1.06 \begin {gather*} \frac {\log \left (\frac {3}{x}\right )}{12 \, {\left (x^{4} + 2 \, x^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.07, size = 14, normalized size = 0.78 \begin {gather*} \frac {\log {\left (\frac {3}{x} \right )}}{12 x^{4} + 24 x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 42 vs.
\(2 (16) = 32\).
time = 0.42, size = 42, normalized size = 2.33 \begin {gather*} \frac {1}{192} \, {\left (\frac {2}{x} + \frac {1}{\frac {2}{x} + 1} - \frac {4}{x^{2}} + \frac {8}{x^{3}}\right )} \log \left (\frac {3}{x}\right ) - \frac {1}{192} \, \log \left (\frac {3}{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 2.04, size = 22, normalized size = 1.22 \begin {gather*} \frac {x\,\left (\ln \left (\frac {1}{x}\right )+\ln \left (3\right )\right )}{12\,\left (x^5+2\,x^4\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________