Optimal. Leaf size=36 \[ \frac {-2 x+x^2+\frac {5-e^4+2 x}{2 x+5 (-x+\log (4))}}{x} \]
________________________________________________________________________________________
Rubi [A] time = 0.12, antiderivative size = 50, normalized size of antiderivative = 1.39, number of steps used = 6, number of rules used = 4, integrand size = 69, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.058, Rules used = {6, 1594, 27, 1620} \begin {gather*} x+\frac {3 e^4-5 (3+\log (16))}{5 \log (4) (3 x-5 \log (4))}+\frac {5-e^4}{5 x \log (4)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rule 27
Rule 1594
Rule 1620
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\left (30-6 e^4\right ) x+6 x^2+9 x^4+\left (-25+5 e^4-30 x^3\right ) \log (4)+25 x^2 \log ^2(4)}{9 x^4-30 x^3 \log (4)+25 x^2 \log ^2(4)} \, dx\\ &=\int \frac {\left (30-6 e^4\right ) x+9 x^4+\left (-25+5 e^4-30 x^3\right ) \log (4)+x^2 \left (6+25 \log ^2(4)\right )}{9 x^4-30 x^3 \log (4)+25 x^2 \log ^2(4)} \, dx\\ &=\int \frac {\left (30-6 e^4\right ) x+9 x^4+\left (-25+5 e^4-30 x^3\right ) \log (4)+x^2 \left (6+25 \log ^2(4)\right )}{x^2 \left (9 x^2-30 x \log (4)+25 \log ^2(4)\right )} \, dx\\ &=\int \frac {\left (30-6 e^4\right ) x+9 x^4+\left (-25+5 e^4-30 x^3\right ) \log (4)+x^2 \left (6+25 \log ^2(4)\right )}{x^2 (3 x-5 \log (4))^2} \, dx\\ &=\int \left (1+\frac {-5+e^4}{5 x^2 \log (4)}-\frac {3 \left (-15+3 e^4-5 \log (16)\right )}{5 (3 x-5 \log (4))^2 \log (4)}\right ) \, dx\\ &=x+\frac {5-e^4}{5 x \log (4)}+\frac {3 e^4-5 (3+\log (16))}{5 (3 x-5 \log (4)) \log (4)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 34, normalized size = 0.94 \begin {gather*} \frac {-5+e^4-2 x+3 x^3-5 x^2 \log (4)}{x (3 x-5 \log (4))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.98, size = 33, normalized size = 0.92 \begin {gather*} \frac {3 \, x^{3} - 10 \, x^{2} \log \relax (2) - 2 \, x + e^{4} - 5}{3 \, x^{2} - 10 \, x \log \relax (2)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.31, size = 26, normalized size = 0.72 \begin {gather*} x - \frac {2 \, x - e^{4} + 5}{3 \, x^{2} - 10 \, x \log \relax (2)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.08, size = 27, normalized size = 0.75
method | result | size |
risch | \(x +\frac {2 x -{\mathrm e}^{4}+5}{x \left (10 \ln \relax (2)-3 x \right )}\) | \(27\) |
norman | \(\frac {-3 x^{3}+5+\left (\frac {100 \ln \relax (2)^{2}}{3}+2\right ) x -{\mathrm e}^{4}}{x \left (10 \ln \relax (2)-3 x \right )}\) | \(36\) |
gosper | \(-\frac {-100 x \ln \relax (2)^{2}+9 x^{3}+3 \,{\mathrm e}^{4}-6 x -15}{3 x \left (10 \ln \relax (2)-3 x \right )}\) | \(37\) |
default | \(x -\frac {-9 \,{\mathrm e}^{4}+60 \ln \relax (2)+45}{30 \ln \relax (2) \left (-10 \ln \relax (2)+3 x \right )}-\frac {{\mathrm e}^{4}-5}{10 \ln \relax (2) x}\) | \(42\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.40, size = 26, normalized size = 0.72 \begin {gather*} x - \frac {2 \, x - e^{4} + 5}{3 \, x^{2} - 10 \, x \log \relax (2)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.15, size = 26, normalized size = 0.72 \begin {gather*} x-\frac {2\,x-{\mathrm {e}}^4+5}{x\,\left (3\,x-10\,\ln \relax (2)\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.84, size = 20, normalized size = 0.56 \begin {gather*} x + \frac {- 2 x - 5 + e^{4}}{3 x^{2} - 10 x \log {\relax (2 )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________