Optimal. Leaf size=19 \[ \log \left (e^{-2 x/7}+x (-1-\log (x))+\log (x)\right ) \]
________________________________________________________________________________________
Rubi [F] time = 3.11, 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*} \int \frac {-7+14 x+2 e^{-2 x/7} x+7 x \log (x)}{-7 e^{-2 x/7} x+7 x^2+\left (-7 x+7 x^2\right ) \log (x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {-1+2 x+x \log (x)}{x (x-\log (x)+x \log (x))}+\frac {-7+14 x+2 x^2+5 x \log (x)+2 x^2 \log (x)}{7 x (x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )}\right ) \, dx\\ &=\frac {1}{7} \int \frac {-7+14 x+2 x^2+5 x \log (x)+2 x^2 \log (x)}{x (x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )} \, dx+\int \frac {-1+2 x+x \log (x)}{x (x-\log (x)+x \log (x))} \, dx\\ &=\log (x-\log (x)+x \log (x))+\frac {1}{7} \int \left (\frac {14}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )}-\frac {7}{x (x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )}+\frac {2 x}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )}+\frac {5 \log (x)}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )}+\frac {2 x \log (x)}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )}\right ) \, dx\\ &=\log (x-\log (x)+x \log (x))+\frac {2}{7} \int \frac {x}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )} \, dx+\frac {2}{7} \int \frac {x \log (x)}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )} \, dx+\frac {5}{7} \int \frac {\log (x)}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )} \, dx+2 \int \frac {1}{(x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )} \, dx-\int \frac {1}{x (x-\log (x)+x \log (x)) \left (-1+e^{2 x/7} x-e^{2 x/7} \log (x)+e^{2 x/7} x \log (x)\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.65, size = 19, normalized size = 1.00 \begin {gather*} \log \left (e^{-2 x/7}-x+\log (x)-x \log (x)\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.56, size = 26, normalized size = 1.37 \begin {gather*} \log \left (x - 1\right ) + \log \left (\frac {{\left (x - 1\right )} \log \relax (x) + x - e^{\left (-\frac {2}{7} \, x\right )}}{x - 1}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.21, size = 17, normalized size = 0.89 \begin {gather*} \log \left (x \log \relax (x) + x - e^{\left (-\frac {2}{7} \, x\right )} - \log \relax (x)\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 18, normalized size = 0.95
method | result | size |
norman | \(\ln \left (x \ln \relax (x )-\ln \relax (x )-{\mathrm e}^{-\frac {2 x}{7}}+x \right )\) | \(18\) |
risch | \(\ln \left (x -1\right )+\ln \left (\ln \relax (x )+\frac {x -{\mathrm e}^{-\frac {2 x}{7}}}{x -1}\right )\) | \(24\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.40, size = 50, normalized size = 2.63 \begin {gather*} -\frac {2}{7} \, x + \log \left (x - 1\right ) + \log \left (\frac {{\left ({\left (x - 1\right )} \log \relax (x) + x\right )} e^{\left (\frac {2}{7} \, x\right )} - 1}{{\left (x - 1\right )} \log \relax (x) + x}\right ) + \log \left (\frac {{\left (x - 1\right )} \log \relax (x) + x}{x - 1}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.28, size = 17, normalized size = 0.89 \begin {gather*} \ln \left (x-{\mathrm {e}}^{-\frac {2\,x}{7}}-\ln \relax (x)+x\,\ln \relax (x)\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.50, size = 19, normalized size = 1.00 \begin {gather*} \log {\left (- x \log {\relax (x )} - x + \log {\relax (x )} + e^{- \frac {2 x}{7}} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________