Optimal. Leaf size=18 \[ \frac {9 \left (2-\frac {e^{100}}{2}\right )^4}{64 x^2} \]
________________________________________________________________________________________
Rubi [A] time = 0.04, antiderivative size = 16, normalized size of antiderivative = 0.89, number of steps used = 2, number of rules used = 2, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.069, Rules used = {12, 30} \begin {gather*} \frac {9 \left (4-e^{100}\right )^4}{1024 x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 30
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=-\left (\frac {1}{512} \left (9 \left (4-e^{100}\right )^4\right ) \int \frac {1}{x^3} \, dx\right )\\ &=\frac {9 \left (4-e^{100}\right )^4}{1024 x^2}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 14, normalized size = 0.78 \begin {gather*} \frac {9 \left (-4+e^{100}\right )^4}{1024 x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.63, size = 21, normalized size = 1.17 \begin {gather*} \frac {9 \, {\left (e^{400} - 16 \, e^{300} + 96 \, e^{200} - 256 \, e^{100} + 256\right )}}{1024 \, x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.55, size = 21, normalized size = 1.17 \begin {gather*} \frac {9 \, {\left (e^{400} - 16 \, e^{300} + 96 \, e^{200} - 256 \, e^{100} + 256\right )}}{1024 \, x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.05, size = 28, normalized size = 1.56
method | result | size |
gosper | \(\frac {\frac {9 \,{\mathrm e}^{400}}{1024}-\frac {9 \,{\mathrm e}^{300}}{64}+\frac {27 \,{\mathrm e}^{200}}{32}-\frac {9 \,{\mathrm e}^{100}}{4}+\frac {9}{4}}{x^{2}}\) | \(28\) |
norman | \(\frac {\frac {9 \,{\mathrm e}^{400}}{1024}-\frac {9 \,{\mathrm e}^{300}}{64}+\frac {27 \,{\mathrm e}^{200}}{32}-\frac {9 \,{\mathrm e}^{100}}{4}+\frac {9}{4}}{x^{2}}\) | \(29\) |
default | \(-\frac {-\frac {9 \,{\mathrm e}^{400}}{512}+\frac {9 \,{\mathrm e}^{300}}{32}-\frac {27 \,{\mathrm e}^{200}}{16}+\frac {9 \,{\mathrm e}^{100}}{2}-\frac {9}{2}}{2 x^{2}}\) | \(30\) |
risch | \(\frac {9 \,{\mathrm e}^{400}}{1024 x^{2}}-\frac {9 \,{\mathrm e}^{300}}{64 x^{2}}+\frac {27 \,{\mathrm e}^{200}}{32 x^{2}}-\frac {9 \,{\mathrm e}^{100}}{4 x^{2}}+\frac {9}{4 x^{2}}\) | \(35\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.65, size = 21, normalized size = 1.17 \begin {gather*} \frac {9 \, {\left (e^{400} - 16 \, e^{300} + 96 \, e^{200} - 256 \, e^{100} + 256\right )}}{1024 \, x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.36, size = 11, normalized size = 0.61 \begin {gather*} \frac {9\,{\left ({\mathrm {e}}^{100}-4\right )}^4}{1024\,x^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.07, size = 36, normalized size = 2.00 \begin {gather*} - \frac {- \frac {9 e^{400}}{512} - \frac {27 e^{200}}{16} - \frac {9}{2} + \frac {9 e^{100}}{2} + \frac {9 e^{300}}{32}}{2 x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________