Optimal. Leaf size=32 \[ \frac {-\frac {x}{5}+\log (3+x)}{2 \left (-1+\frac {3}{x}-x^2-3 \log (2)\right )} \]
________________________________________________________________________________________
Rubi [F] time = 180.01, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \text {\$Aborted} \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
Aborted
________________________________________________________________________________________
Mathematica [B] time = 1.30, size = 113, normalized size = 3.53 \begin {gather*} \frac {x \left (x \left (2717+68 \log ^3(8)+4 \log ^4(8)+\log (8) (319-3 \log (64))-6 \log ^2(8) (-25+\log (64))+30 \log (64)\right )-5 \left (2717+379 \log (8)+144 \log ^2(8)+56 \log ^3(8)+4 \log ^4(8)\right ) \log (3+x)\right )}{10 (11+\log (8)) \left (-3+x+x^3+x \log (8)\right ) \left (247+12 \log (8)+12 \log ^2(8)+4 \log ^3(8)\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.60, size = 26, normalized size = 0.81 \begin {gather*} \frac {x^{2} - 5 \, x \log \left (x + 3\right )}{10 \, {\left (x^{3} + 3 \, x \log \relax (2) + x - 3\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.29, size = 39, normalized size = 1.22 \begin {gather*} \frac {x^{2}}{10 \, {\left (x^{3} + 3 \, x \log \relax (2) + x - 3\right )}} - \frac {x \log \left (x + 3\right )}{2 \, {\left (x^{3} + 3 \, x \log \relax (2) + x - 3\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.33, size = 28, normalized size = 0.88
method | result | size |
norman | \(\frac {-\frac {x \ln \left (3+x \right )}{2}+\frac {x^{2}}{10}}{x^{3}+3 x \ln \relax (2)+x -3}\) | \(28\) |
risch | \(-\frac {x \ln \left (3+x \right )}{2 \left (x^{3}+3 x \ln \relax (2)+x -3\right )}+\frac {x^{2}}{10 x^{3}+30 x \ln \relax (2)+10 x -30}\) | \(40\) |
derivativedivides | \(\frac {\ln \relax (2) \left (3+x \right )^{2}}{10 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}+\frac {11 \left (3+x \right )^{2}}{30 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}-\frac {3 \ln \relax (2) \left (3+x \right )}{5 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}-\frac {11 \left (3+x \right )}{5 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}+\frac {9 \ln \relax (2)}{10 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}+\frac {33}{10 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}-\frac {\ln \left (3+x \right )}{2 \left (3 \ln \relax (2)+11\right )}+\frac {\ln \left (3+x \right ) \left (3+x \right ) \left (\left (3+x \right )^{2}-10-9 x \right )}{2 \left (\left (3+x \right )^{3}+3 \left (3+x \right ) \ln \relax (2)-9 \left (3+x \right )^{2}-9 \ln \relax (2)+51+28 x \right ) \left (3 \ln \relax (2)+11\right )}\) | \(341\) |
default | \(\frac {\ln \relax (2) \left (3+x \right )^{2}}{10 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}+\frac {11 \left (3+x \right )^{2}}{30 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}-\frac {3 \ln \relax (2) \left (3+x \right )}{5 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}-\frac {11 \left (3+x \right )}{5 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}+\frac {9 \ln \relax (2)}{10 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}+\frac {33}{10 \left (3 \ln \relax (2)+11\right ) \left (\frac {\left (3+x \right )^{3}}{3}+\left (3+x \right ) \ln \relax (2)-3 \left (3+x \right )^{2}-3 \ln \relax (2)+17+\frac {28 x}{3}\right )}-\frac {\ln \left (3+x \right )}{2 \left (3 \ln \relax (2)+11\right )}+\frac {\ln \left (3+x \right ) \left (3+x \right ) \left (\left (3+x \right )^{2}-10-9 x \right )}{2 \left (\left (3+x \right )^{3}+3 \left (3+x \right ) \ln \relax (2)-9 \left (3+x \right )^{2}-9 \ln \relax (2)+51+28 x \right ) \left (3 \ln \relax (2)+11\right )}\) | \(341\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.45, size = 28, normalized size = 0.88 \begin {gather*} \frac {x^{2} - 5 \, x \log \left (x + 3\right )}{10 \, {\left (x^{3} + x {\left (3 \, \log \relax (2) + 1\right )} - 3\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 9.36, size = 27, normalized size = 0.84 \begin {gather*} \frac {x\,\left (x-5\,\ln \left (x+3\right )\right )}{10\,\left (x+3\,x\,\ln \relax (2)+x^3-3\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 1.13, size = 41, normalized size = 1.28 \begin {gather*} \frac {x^{2}}{10 x^{3} + x \left (10 + 30 \log {\relax (2 )}\right ) - 30} - \frac {x \log {\left (x + 3 \right )}}{2 x^{3} + 2 x + 6 x \log {\relax (2 )} - 6} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________