Optimal. Leaf size=28 \[ \log \left (2-x+\left (x+\frac {5-x}{1-\log \left (\frac {5}{x}\right )}\right )^2\right ) \]
________________________________________________________________________________________
Rubi [F] time = 180.00, 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 = 0.08, size = 70, normalized size = 2.50 \begin {gather*} -2 \log \left (1-\log \left (\frac {5}{x}\right )\right )+\log \left (27-x-4 \log \left (\frac {5}{x}\right )-8 x \log \left (\frac {5}{x}\right )+2 \log ^2\left (\frac {5}{x}\right )-x \log ^2\left (\frac {5}{x}\right )+x^2 \log ^2\left (\frac {5}{x}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.59, size = 68, normalized size = 2.43 \begin {gather*} \log \left (x^{2} - x + 2\right ) + \log \left (\frac {{\left (x^{2} - x + 2\right )} \log \left (\frac {5}{x}\right )^{2} - 4 \, {\left (2 \, x + 1\right )} \log \left (\frac {5}{x}\right ) - x + 27}{x^{2} - x + 2}\right ) - 2 \, \log \left (\log \left (\frac {5}{x}\right ) - 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.43, size = 90, normalized size = 3.21 \begin {gather*} \log \left (25 \, \log \left (\frac {5}{x}\right )^{2} - \frac {25 \, \log \left (\frac {5}{x}\right )^{2}}{x} - \frac {200 \, \log \left (\frac {5}{x}\right )}{x} + \frac {50 \, \log \left (\frac {5}{x}\right )^{2}}{x^{2}} - \frac {25}{x} - \frac {100 \, \log \left (\frac {5}{x}\right )}{x^{2}} + \frac {675}{x^{2}}\right ) - 2 \, \log \left (\frac {5}{x}\right ) - 2 \, \log \left (\log \left (\frac {5}{x}\right ) - 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.16, size = 69, normalized size = 2.46
method | result | size |
norman | \(-2 \ln \left (\ln \left (\frac {5}{x}\right )-1\right )+\ln \left (x^{2} \ln \left (\frac {5}{x}\right )^{2}-x \ln \left (\frac {5}{x}\right )^{2}-8 x \ln \left (\frac {5}{x}\right )+2 \ln \left (\frac {5}{x}\right )^{2}-x -4 \ln \left (\frac {5}{x}\right )+27\right )\) | \(69\) |
risch | \(\ln \left (x^{2}-x +2\right )-2 \ln \left (\ln \left (\frac {5}{x}\right )-1\right )+\ln \left (\ln \left (\frac {5}{x}\right )^{2}-\frac {4 \left (2 x +1\right ) \ln \left (\frac {5}{x}\right )}{x^{2}-x +2}-\frac {x -27}{x^{2}-x +2}\right )\) | \(70\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.51, size = 102, normalized size = 3.64 \begin {gather*} \log \left (x^{2} - x + 2\right ) + \log \left (\frac {x^{2} \log \relax (5)^{2} + {\left (x^{2} - x + 2\right )} \log \relax (x)^{2} - {\left (\log \relax (5)^{2} + 8 \, \log \relax (5) + 1\right )} x + 2 \, \log \relax (5)^{2} - 2 \, {\left (x^{2} \log \relax (5) - x {\left (\log \relax (5) + 4\right )} + 2 \, \log \relax (5) - 2\right )} \log \relax (x) - 4 \, \log \relax (5) + 27}{x^{2} - x + 2}\right ) - 2 \, \log \left (-\log \relax (5) + \log \relax (x) + 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.27, size = 173, normalized size = 6.18 \begin {gather*} 4\,\ln \left (x-5\right )-2\,\ln \left (\frac {\left (\ln \left (\frac {5}{x}\right )-1\right )\,{\left (x-5\right )}^2\,\left (-4\,x^5+49\,x^4-166\,x^3+113\,x^2+112\,x+32\right )}{x^2\,{\left (x^2-x+2\right )}^4}\right )-7\,\ln \left (x^2-x+2\right )+2\,\ln \left (4\,x^5-49\,x^4+166\,x^3-113\,x^2-112\,x-32\right )+\ln \left (\frac {-x^2\,{\ln \left (\frac {5}{x}\right )}^2+x\,{\ln \left (\frac {5}{x}\right )}^2+8\,x\,\ln \left (\frac {5}{x}\right )+x-2\,{\ln \left (\frac {5}{x}\right )}^2+4\,\ln \left (\frac {5}{x}\right )-27}{x\,\left (x^2-x+2\right )}\right )-3\,\ln \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: PolynomialError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________