Optimal. Leaf size=26 \[ \frac {9}{\left (-3+\frac {e^6}{(-3+x) x}\right ) (-3+x) x^2} \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(57\) vs. \(2(26)=52\).
time = 0.12, antiderivative size = 57, normalized size of antiderivative = 2.19, number of steps
used = 7, number of rules used = 4, integrand size = 55, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.073, Rules used = {2099, 652, 632,
212} \begin {gather*} \frac {9}{e^6 x}-\frac {27 \left (3 \left (27+4 e^6\right )-\left (27+4 e^6\right ) x\right )}{e^6 \left (27+4 e^6\right ) \left (-3 x^2+9 x+e^6\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 632
Rule 652
Rule 2099
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {9}{e^6 x^2}+\frac {27 \left (27+2 e^6-9 x\right )}{e^6 \left (e^6+9 x-3 x^2\right )^2}-\frac {27}{e^6 \left (e^6+9 x-3 x^2\right )}\right ) \, dx\\ &=\frac {9}{e^6 x}+\frac {27 \int \frac {27+2 e^6-9 x}{\left (e^6+9 x-3 x^2\right )^2} \, dx}{e^6}-\frac {27 \int \frac {1}{e^6+9 x-3 x^2} \, dx}{e^6}\\ &=\frac {9}{e^6 x}-\frac {27 \left (3 \left (27+4 e^6\right )-\left (27+4 e^6\right ) x\right )}{e^6 \left (27+4 e^6\right ) \left (e^6+9 x-3 x^2\right )}+\frac {27 \int \frac {1}{e^6+9 x-3 x^2} \, dx}{e^6}+\frac {54 \text {Subst}\left (\int \frac {1}{3 \left (27+4 e^6\right )-x^2} \, dx,x,9-6 x\right )}{e^6}\\ &=\frac {9}{e^6 x}-\frac {27 \left (3 \left (27+4 e^6\right )-\left (27+4 e^6\right ) x\right )}{e^6 \left (27+4 e^6\right ) \left (e^6+9 x-3 x^2\right )}+\frac {18 \sqrt {\frac {3}{27+4 e^6}} \tanh ^{-1}\left (\sqrt {\frac {3}{27+4 e^6}} (3-2 x)\right )}{e^6}-\frac {54 \text {Subst}\left (\int \frac {1}{3 \left (27+4 e^6\right )-x^2} \, dx,x,9-6 x\right )}{e^6}\\ &=\frac {9}{e^6 x}-\frac {27 \left (3 \left (27+4 e^6\right )-\left (27+4 e^6\right ) x\right )}{e^6 \left (27+4 e^6\right ) \left (e^6+9 x-3 x^2\right )}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 19, normalized size = 0.73 \begin {gather*} -\frac {9}{x \left (-e^6+3 (-3+x) x\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.51, size = 19, normalized size = 0.73
method | result | size |
risch | \(\frac {9}{x \left ({\mathrm e}^{6}-3 x^{2}+9 x \right )}\) | \(19\) |
gosper | \(\frac {9}{x \left ({\mathrm e}^{6}-3 x^{2}+9 x \right )}\) | \(21\) |
norman | \(\frac {9}{x \left ({\mathrm e}^{6}-3 x^{2}+9 x \right )}\) | \(21\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 20, normalized size = 0.77 \begin {gather*} -\frac {9}{3 \, x^{3} - 9 \, x^{2} - x e^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 20, normalized size = 0.77 \begin {gather*} -\frac {9}{3 \, x^{3} - 9 \, x^{2} - x e^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.32, size = 17, normalized size = 0.65 \begin {gather*} - \frac {9}{3 x^{3} - 9 x^{2} - x e^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.42, size = 20, normalized size = 0.77 \begin {gather*} -\frac {9}{3 \, x^{3} - 9 \, x^{2} - x e^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 5.26, size = 18, normalized size = 0.69 \begin {gather*} \frac {9}{x\,\left (-3\,x^2+9\,x+{\mathrm {e}}^6\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________