Optimal. Leaf size=22 \[ -\frac {x \left (4+\frac {4}{-\frac {18}{5}+\log (25)}\right ) \log (x)}{-3+x} \]
________________________________________________________________________________________
Rubi [A] time = 0.12, antiderivative size = 26, normalized size of antiderivative = 1.18, number of steps used = 6, number of rules used = 5, integrand size = 48, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.104, Rules used = {6688, 12, 6742, 2314, 31} \begin {gather*} \frac {4 x (13-5 \log (25)) \log (x)}{(3-x) (18-5 \log (25))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 31
Rule 2314
Rule 6688
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {4 (13-5 \log (25)) (3-x+3 \log (x))}{(3-x)^2 (18-5 \log (25))} \, dx\\ &=\frac {(4 (13-5 \log (25))) \int \frac {3-x+3 \log (x)}{(3-x)^2} \, dx}{18-5 \log (25)}\\ &=\frac {(4 (13-5 \log (25))) \int \left (\frac {1}{3-x}+\frac {3 \log (x)}{(-3+x)^2}\right ) \, dx}{18-5 \log (25)}\\ &=-\frac {4 (13-5 \log (25)) \log (3-x)}{18-5 \log (25)}+\frac {(12 (13-5 \log (25))) \int \frac {\log (x)}{(-3+x)^2} \, dx}{18-5 \log (25)}\\ &=-\frac {4 (13-5 \log (25)) \log (3-x)}{18-5 \log (25)}+\frac {4 x (13-5 \log (25)) \log (x)}{(3-x) (18-5 \log (25))}+\frac {(4 (13-5 \log (25))) \int \frac {1}{-3+x} \, dx}{18-5 \log (25)}\\ &=\frac {4 x (13-5 \log (25)) \log (x)}{(3-x) (18-5 \log (25))}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 24, normalized size = 1.09 \begin {gather*} -\frac {4 x (-13+5 \log (25)) \log (x)}{(-3+x) (-18+5 \log (25))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.93, size = 27, normalized size = 1.23 \begin {gather*} -\frac {2 \, {\left (10 \, x \log \relax (5) - 13 \, x\right )} \log \relax (x)}{5 \, {\left (x - 3\right )} \log \relax (5) - 9 \, x + 27} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.13, size = 45, normalized size = 2.05 \begin {gather*} -\frac {6 \, {\left (10 \, \log \relax (5) - 13\right )} \log \relax (x)}{5 \, x \log \relax (5) - 9 \, x - 15 \, \log \relax (5) + 27} - \frac {2 \, {\left (10 \, \log \relax (5) - 13\right )} \log \relax (x)}{5 \, \log \relax (5) - 9} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.64, size = 25, normalized size = 1.14
method | result | size |
norman | \(-\frac {2 \left (10 \ln \relax (5)-13\right ) x \ln \relax (x )}{\left (5 \ln \relax (5)-9\right ) \left (x -3\right )}\) | \(25\) |
risch | \(-\frac {6 \left (10 \ln \relax (5)-13\right ) \ln \relax (x )}{5 x \ln \relax (5)-15 \ln \relax (5)-9 x +27}-\frac {20 \ln \relax (x ) \ln \relax (5)}{5 \ln \relax (5)-9}+\frac {26 \ln \relax (x )}{5 \ln \relax (5)-9}\) | \(54\) |
default | \(-\frac {20 \ln \left (\left (5 \ln \relax (5)-9\right ) x -15 \ln \relax (5)+27\right ) \ln \relax (5)}{5 \ln \relax (5)-9}+\frac {26 \ln \left (\left (5 \ln \relax (5)-9\right ) x -15 \ln \relax (5)+27\right )}{5 \ln \relax (5)-9}+\frac {20 \ln \relax (5) \ln \left (x -3\right )}{5 \ln \relax (5)-9}-\frac {20 \ln \relax (5) \ln \relax (x ) x}{\left (5 \ln \relax (5)-9\right ) \left (x -3\right )}-\frac {26 \ln \left (x -3\right )}{5 \ln \relax (5)-9}+\frac {26 \ln \relax (x ) x}{\left (5 \ln \relax (5)-9\right ) \left (x -3\right )}\) | \(122\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.36, size = 141, normalized size = 6.41 \begin {gather*} 20 \, {\left (\frac {\log \left (x - 3\right )}{5 \, \log \relax (5) - 9} - \frac {\log \relax (x)}{5 \, \log \relax (5) - 9}\right )} \log \relax (5) - 20 \, {\left (\frac {\log \left (x - 3\right )}{5 \, \log \relax (5) - 9} - \frac {3}{x {\left (5 \, \log \relax (5) - 9\right )} - 15 \, \log \relax (5) + 27}\right )} \log \relax (5) - \frac {60 \, \log \relax (5) \log \relax (x)}{x {\left (5 \, \log \relax (5) - 9\right )} - 15 \, \log \relax (5) + 27} - \frac {60 \, \log \relax (5)}{x {\left (5 \, \log \relax (5) - 9\right )} - 15 \, \log \relax (5) + 27} + \frac {78 \, \log \relax (x)}{x {\left (5 \, \log \relax (5) - 9\right )} - 15 \, \log \relax (5) + 27} + \frac {26 \, \log \relax (x)}{5 \, \log \relax (5) - 9} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 7.96, size = 24, normalized size = 1.09 \begin {gather*} -\frac {2\,x\,\ln \relax (x)\,\left (10\,\ln \relax (5)-13\right )}{\left (5\,\ln \relax (5)-9\right )\,\left (x-3\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.21, size = 42, normalized size = 1.91 \begin {gather*} \frac {\left (26 - 20 \log {\relax (5 )}\right ) \log {\relax (x )}}{-9 + 5 \log {\relax (5 )}} + \frac {\left (78 - 60 \log {\relax (5 )}\right ) \log {\relax (x )}}{- 9 x + 5 x \log {\relax (5 )} - 15 \log {\relax (5 )} + 27} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________