Optimal. Leaf size=24 \[ 5 \left (1-x+\frac {3 e^{3/x} x^2}{25+x}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.64, antiderivative size = 37, normalized size of antiderivative = 1.54, number of steps used = 20, number of rules used = 10, integrand size = 39, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.256, Rules used = {27, 6688, 6742, 2206, 2210, 2223, 2209, 2222, 2228, 2178} \begin {gather*} 15 e^{3/x} x-5 x-375 e^{3/x}+\frac {9375 e^{3/x}}{x+25} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 2178
Rule 2206
Rule 2209
Rule 2210
Rule 2222
Rule 2223
Rule 2228
Rule 6688
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-3125-250 x-5 x^2+e^{3/x} \left (-1125+705 x+15 x^2\right )}{(25+x)^2} \, dx\\ &=\int \left (-5+\frac {15 e^{3/x} \left (-75+47 x+x^2\right )}{(25+x)^2}\right ) \, dx\\ &=-5 x+15 \int \frac {e^{3/x} \left (-75+47 x+x^2\right )}{(25+x)^2} \, dx\\ &=-5 x+15 \int \left (e^{3/x}-\frac {625 e^{3/x}}{(25+x)^2}-\frac {3 e^{3/x}}{25+x}\right ) \, dx\\ &=-5 x+15 \int e^{3/x} \, dx-45 \int \frac {e^{3/x}}{25+x} \, dx-9375 \int \frac {e^{3/x}}{(25+x)^2} \, dx\\ &=-5 x+15 e^{3/x} x+\frac {9375 e^{3/x}}{25+x}+1125 \int \frac {e^{3/x}}{x (25+x)} \, dx+28125 \int \frac {e^{3/x}}{x^2 (25+x)} \, dx\\ &=-5 x+15 e^{3/x} x+\frac {9375 e^{3/x}}{25+x}-45 \operatorname {Subst}\left (\int \frac {e^{-\frac {3}{25}+\frac {3 x}{25}}}{x} \, dx,x,\frac {25+x}{x}\right )+28125 \int \left (\frac {e^{3/x}}{25 x^2}-\frac {e^{3/x}}{625 x}+\frac {e^{3/x}}{625 (25+x)}\right ) \, dx\\ &=-5 x+15 e^{3/x} x+\frac {9375 e^{3/x}}{25+x}-\frac {45 \text {Ei}\left (\frac {3}{25}+\frac {3}{x}\right )}{e^{3/25}}-45 \int \frac {e^{3/x}}{x} \, dx+45 \int \frac {e^{3/x}}{25+x} \, dx+1125 \int \frac {e^{3/x}}{x^2} \, dx\\ &=-375 e^{3/x}-5 x+15 e^{3/x} x+\frac {9375 e^{3/x}}{25+x}-\frac {45 \text {Ei}\left (\frac {3}{25}+\frac {3}{x}\right )}{e^{3/25}}+45 \text {Ei}\left (\frac {3}{x}\right )+45 \int \frac {e^{3/x}}{x} \, dx-1125 \int \frac {e^{3/x}}{x (25+x)} \, dx\\ &=-375 e^{3/x}-5 x+15 e^{3/x} x+\frac {9375 e^{3/x}}{25+x}-\frac {45 \text {Ei}\left (\frac {3}{25}+\frac {3}{x}\right )}{e^{3/25}}+45 \operatorname {Subst}\left (\int \frac {e^{-\frac {3}{25}+\frac {3 x}{25}}}{x} \, dx,x,\frac {25+x}{x}\right )\\ &=-375 e^{3/x}-5 x+15 e^{3/x} x+\frac {9375 e^{3/x}}{25+x}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.08, size = 23, normalized size = 0.96 \begin {gather*} -5 x+15 e^{3/x} \left (-25+x+\frac {625}{25+x}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.50, size = 27, normalized size = 1.12 \begin {gather*} \frac {5 \, {\left (3 \, x^{2} e^{\frac {3}{x}} - x^{2} - 25 \, x\right )}}{x + 25} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.18, size = 28, normalized size = 1.17 \begin {gather*} -\frac {5 \, {\left (\frac {25}{x} - 3 \, e^{\frac {3}{x}} + 1\right )}}{\frac {1}{x} + \frac {25}{x^{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.46, size = 21, normalized size = 0.88
method | result | size |
risch | \(-5 x +\frac {15 x^{2} {\mathrm e}^{\frac {3}{x}}}{x +25}\) | \(21\) |
norman | \(\frac {-5 x^{2}+15 x^{2} {\mathrm e}^{\frac {3}{x}}+3125}{x +25}\) | \(25\) |
derivativedivides | \(-5 x -\frac {45 \,{\mathrm e}^{\frac {3}{x}}}{\frac {3}{x}+\frac {3}{25}}+15 x \,{\mathrm e}^{\frac {3}{x}}\) | \(31\) |
default | \(-5 x -\frac {45 \,{\mathrm e}^{\frac {3}{x}}}{\frac {3}{x}+\frac {3}{25}}+15 x \,{\mathrm e}^{\frac {3}{x}}\) | \(31\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} -5 \, x + \frac {15 \, {\left (x^{3} - 1175 \, x\right )} e^{\frac {3}{x}}}{x^{2} + 50 \, x + 625} + 5 \, \int \frac {75 \, {\left (959 \, x - 3525\right )} e^{\frac {3}{x}}}{x^{4} + 75 \, x^{3} + 1875 \, x^{2} + 15625 \, x}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.98, size = 27, normalized size = 1.12 \begin {gather*} -\frac {125\,x-15\,x^2\,{\mathrm {e}}^{3/x}+5\,x^2}{x+25} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.13, size = 15, normalized size = 0.62 \begin {gather*} \frac {15 x^{2} e^{\frac {3}{x}}}{x + 25} - 5 x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________