Optimal. Leaf size=31 \[ 5 e^2 \log \left (-2+\frac {x}{x-\frac {5-\frac {x^2}{(-5+x)^2}}{x}}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.19, antiderivative size = 53, normalized size of antiderivative = 1.71, number of steps used = 5, number of rules used = 3, integrand size = 68, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.044, Rules used = {12, 2074, 1587} \begin {gather*} 5 e^2 \log \left (-x^4+10 x^3-17 x^2-100 x+250\right )-5 e^2 \log \left (-x^4+10 x^3-21 x^2-50 x+125\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 1587
Rule 2074
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=e^2 \int \frac {31250 x-25000 x^2+7500 x^3-950 x^4+40 x^5}{31250-25000 x-2375 x^2+6700 x^3-1518 x^4-230 x^5+138 x^6-20 x^7+x^8} \, dx\\ &=e^2 \int \left (\frac {10 \left (50+17 x-15 x^2+2 x^3\right )}{-250+100 x+17 x^2-10 x^3+x^4}-\frac {10 \left (25+21 x-15 x^2+2 x^3\right )}{-125+50 x+21 x^2-10 x^3+x^4}\right ) \, dx\\ &=\left (10 e^2\right ) \int \frac {50+17 x-15 x^2+2 x^3}{-250+100 x+17 x^2-10 x^3+x^4} \, dx-\left (10 e^2\right ) \int \frac {25+21 x-15 x^2+2 x^3}{-125+50 x+21 x^2-10 x^3+x^4} \, dx\\ &=-5 e^2 \log \left (125-50 x-21 x^2+10 x^3-x^4\right )+5 e^2 \log \left (250-100 x-17 x^2+10 x^3-x^4\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 56, normalized size = 1.81 \begin {gather*} 10 e^2 \left (-\frac {1}{2} \log \left (125-50 x-21 x^2+10 x^3-x^4\right )+\frac {1}{2} \log \left (250-100 x-17 x^2+10 x^3-x^4\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.91, size = 47, normalized size = 1.52 \begin {gather*} -5 \, e^{2} \log \left (x^{4} - 10 \, x^{3} + 21 \, x^{2} + 50 \, x - 125\right ) + 5 \, e^{2} \log \left (x^{4} - 10 \, x^{3} + 17 \, x^{2} + 100 \, x - 250\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.29, size = 47, normalized size = 1.52 \begin {gather*} -5 \, {\left (\log \left ({\left | x^{4} - 10 \, x^{3} + 21 \, x^{2} + 50 \, x - 125 \right |}\right ) - \log \left ({\left | x^{4} - 10 \, x^{3} + 17 \, x^{2} + 100 \, x - 250 \right |}\right )\right )} e^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 48, normalized size = 1.55
method | result | size |
default | \(10 \,{\mathrm e}^{2} \left (\frac {\ln \left (x^{4}-10 x^{3}+17 x^{2}+100 x -250\right )}{2}-\frac {\ln \left (x^{4}-10 x^{3}+21 x^{2}+50 x -125\right )}{2}\right )\) | \(48\) |
norman | \(5 \,{\mathrm e}^{2} \ln \left (x^{4}-10 x^{3}+17 x^{2}+100 x -250\right )-5 \,{\mathrm e}^{2} \ln \left (x^{4}-10 x^{3}+21 x^{2}+50 x -125\right )\) | \(48\) |
risch | \(5 \,{\mathrm e}^{2} \ln \left (x^{4}-10 x^{3}+17 x^{2}+100 x -250\right )-5 \,{\mathrm e}^{2} \ln \left (x^{4}-10 x^{3}+21 x^{2}+50 x -125\right )\) | \(48\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.36, size = 45, normalized size = 1.45 \begin {gather*} -5 \, {\left (\log \left (x^{4} - 10 \, x^{3} + 21 \, x^{2} + 50 \, x - 125\right ) - \log \left (x^{4} - 10 \, x^{3} + 17 \, x^{2} + 100 \, x - 250\right )\right )} e^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.46, size = 48, normalized size = 1.55 \begin {gather*} -10\,{\mathrm {e}}^2\,\mathrm {atanh}\left (\frac {15254\,x^4-152540\,x^3+332970\,x^2+604750\,x-1511875}{21572\,x^4-215720\,x^3+440376\,x^2+1236550\,x-3091375}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.54, size = 49, normalized size = 1.58 \begin {gather*} 5 e^{2} \log {\left (x^{4} - 10 x^{3} + 17 x^{2} + 100 x - 250 \right )} - 5 e^{2} \log {\left (x^{4} - 10 x^{3} + 21 x^{2} + 50 x - 125 \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________