Optimal. Leaf size=25 \[ 2-\frac {x}{5+x}+\left (e^e+\frac {1}{-\frac {2}{x}+x}\right )^2 \]
________________________________________________________________________________________
Rubi [A] time = 0.30, antiderivative size = 38, normalized size of antiderivative = 1.52, number of steps used = 6, number of rules used = 4, integrand size = 100, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.040, Rules used = {2074, 261, 639, 207} \begin {gather*} -\frac {2 e^e x+1}{2-x^2}+\frac {2}{\left (2-x^2\right )^2}+\frac {5}{x+5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 207
Rule 261
Rule 639
Rule 2074
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {5}{(5+x)^2}-\frac {8 x}{\left (-2+x^2\right )^3}-\frac {2 \left (4 e^e+x\right )}{\left (-2+x^2\right )^2}-\frac {2 e^e}{-2+x^2}\right ) \, dx\\ &=\frac {5}{5+x}-2 \int \frac {4 e^e+x}{\left (-2+x^2\right )^2} \, dx-8 \int \frac {x}{\left (-2+x^2\right )^3} \, dx-\left (2 e^e\right ) \int \frac {1}{-2+x^2} \, dx\\ &=\frac {5}{5+x}+\frac {2}{\left (2-x^2\right )^2}-\frac {1+2 e^e x}{2-x^2}+\sqrt {2} e^e \tanh ^{-1}\left (\frac {x}{\sqrt {2}}\right )+\left (2 e^e\right ) \int \frac {1}{-2+x^2} \, dx\\ &=\frac {5}{5+x}+\frac {2}{\left (2-x^2\right )^2}-\frac {1+2 e^e x}{2-x^2}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.06, size = 47, normalized size = 1.88 \begin {gather*} \frac {20-15 x^2+x^3+5 x^4+2 e^e x \left (-10-2 x+5 x^2+x^3\right )}{(5+x) \left (-2+x^2\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.62, size = 63, normalized size = 2.52 \begin {gather*} \frac {5 \, x^{4} + x^{3} - 15 \, x^{2} + 2 \, {\left (x^{4} + 5 \, x^{3} - 2 \, x^{2} - 10 \, x\right )} e^{e} + 20}{x^{5} + 5 \, x^{4} - 4 \, x^{3} - 20 \, x^{2} + 4 \, x + 20} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.28, size = 34, normalized size = 1.36 \begin {gather*} \frac {2 \, x^{3} e^{e} + x^{2} - 4 \, x e^{e}}{{\left (x^{2} - 2\right )}^{2}} + \frac {5}{x + 5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.08, size = 38, normalized size = 1.52
method | result | size |
default | \(\frac {5}{5+x}-\frac {2 \left (-x^{3} {\mathrm e}^{{\mathrm e}}-\frac {x^{2}}{2}+2 x \,{\mathrm e}^{{\mathrm e}}\right )}{\left (x^{2}-2\right )^{2}}\) | \(38\) |
norman | \(\frac {-20 x \,{\mathrm e}^{{\mathrm e}}+\left (-4 \,{\mathrm e}^{{\mathrm e}}-15\right ) x^{2}+\left (10 \,{\mathrm e}^{{\mathrm e}}+1\right ) x^{3}+\left (2 \,{\mathrm e}^{{\mathrm e}}+5\right ) x^{4}+20}{\left (5+x \right ) \left (x^{2}-2\right )^{2}}\) | \(55\) |
risch | \(\frac {-20 x \,{\mathrm e}^{{\mathrm e}}+\left (-4 \,{\mathrm e}^{{\mathrm e}}-15\right ) x^{2}+\left (10 \,{\mathrm e}^{{\mathrm e}}+1\right ) x^{3}+\left (2 \,{\mathrm e}^{{\mathrm e}}+5\right ) x^{4}+20}{x^{5}+5 x^{4}-4 x^{3}-20 x^{2}+4 x +20}\) | \(68\) |
gosper | \(\frac {2 x^{4} {\mathrm e}^{{\mathrm e}}+10 x^{3} {\mathrm e}^{{\mathrm e}}+5 x^{4}-4 x^{2} {\mathrm e}^{{\mathrm e}}+x^{3}-20 x \,{\mathrm e}^{{\mathrm e}}-15 x^{2}+20}{x^{5}+5 x^{4}-4 x^{3}-20 x^{2}+4 x +20}\) | \(72\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.38, size = 68, normalized size = 2.72 \begin {gather*} \frac {x^{4} {\left (2 \, e^{e} + 5\right )} + x^{3} {\left (10 \, e^{e} + 1\right )} - x^{2} {\left (4 \, e^{e} + 15\right )} - 20 \, x e^{e} + 20}{x^{5} + 5 \, x^{4} - 4 \, x^{3} - 20 \, x^{2} + 4 \, x + 20} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.16, size = 33, normalized size = 1.32 \begin {gather*} \frac {5}{x+5}+\frac {2}{{\left (x^2-2\right )}^2}+\frac {2\,x\,{\mathrm {e}}^{\mathrm {e}}+1}{x^2-2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 2.12, size = 73, normalized size = 2.92 \begin {gather*} - \frac {x^{4} \left (- 2 e^{e} - 5\right ) + x^{3} \left (- 10 e^{e} - 1\right ) + x^{2} \left (15 + 4 e^{e}\right ) + 20 x e^{e} - 20}{x^{5} + 5 x^{4} - 4 x^{3} - 20 x^{2} + 4 x + 20} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________