Optimal. Leaf size=24 \[ -e^{5+3 (-7+\log (x))}+\frac {3}{3-x}+\log (3) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.06, antiderivative size = 18, normalized size of antiderivative = 0.75, number of steps
used = 5, number of rules used = 4, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {1608, 27, 1600,
1864} \begin {gather*} \frac {3}{3-x}-\frac {x^3}{e^{16}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 1600
Rule 1608
Rule 1864
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {3 x+\frac {x^3 \left (-27+18 x-3 x^2\right )}{e^{16}}}{x \left (9-6 x+x^2\right )} \, dx\\ &=\int \frac {3 x+\frac {x^3 \left (-27+18 x-3 x^2\right )}{e^{16}}}{(-3+x)^2 x} \, dx\\ &=\int \frac {3-\frac {27 x^2}{e^{16}}+\frac {18 x^3}{e^{16}}-\frac {3 x^4}{e^{16}}}{(-3+x)^2} \, dx\\ &=\int \left (\frac {3}{(-3+x)^2}-\frac {3 x^2}{e^{16}}\right ) \, dx\\ &=\frac {3}{3-x}-\frac {x^3}{e^{16}}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 24, normalized size = 1.00 \begin {gather*} \frac {3 \left (9-\frac {e^{16}}{-3+x}-\frac {x^3}{3}\right )}{e^{16}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.20, size = 18, normalized size = 0.75
method | result | size |
risch | \(-{\mathrm e}^{-16} x^{3}-\frac {3}{x -3}\) | \(16\) |
default | \(-\frac {3}{x -3}-{\mathrm e}^{3 \ln \left (x \right )-16}\) | \(18\) |
norman | \(\frac {3 \,{\mathrm e}^{-16} x^{3}-{\mathrm e}^{-16} x^{4}-3}{x -3}\) | \(27\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 15, normalized size = 0.62 \begin {gather*} -x^{3} e^{\left (-16\right )} - \frac {3}{x - 3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.37, size = 22, normalized size = 0.92 \begin {gather*} -\frac {{\left (x^{4} - 3 \, x^{3} + 3 \, e^{16}\right )} e^{\left (-16\right )}}{x - 3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.05, size = 12, normalized size = 0.50 \begin {gather*} - \frac {x^{3}}{e^{16}} - \frac {3}{x - 3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.40, size = 15, normalized size = 0.62 \begin {gather*} -x^{3} e^{\left (-16\right )} - \frac {3}{x - 3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.09, size = 15, normalized size = 0.62 \begin {gather*} -\frac {3}{x-3}-x^3\,{\mathrm {e}}^{-16} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________