Optimal. Leaf size=24 \[ \frac {3^{1-x (x+(1-x) \log (25))}}{\log (1+x)} \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(79\) vs. \(2(24)=48\).
time = 0.22, antiderivative size = 79, normalized size of antiderivative = 3.29, number of steps
used = 1, number of rules used = 1, integrand size = 70, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.014, Rules used = {2326}
\begin {gather*} \frac {3^{1-x^2} e^{-\left (\left (x-x^2\right ) \log (3) \log (25)\right )} \left (\left (-2 x^2-x+1\right ) \log (3) \log (25)+2 \left (x^2+x\right ) \log (3)\right )}{(x+1) ((1-2 x) \log (3) \log (25)+2 x \log (3)) \log (x+1)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2326
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {3^{1-x^2} e^{-\left (\left (x-x^2\right ) \log (3) \log (25)\right )} \left (2 \left (x+x^2\right ) \log (3)+\left (1-x-2 x^2\right ) \log (3) \log (25)\right )}{(1+x) (2 x \log (3)+(1-2 x) \log (3) \log (25)) \log (1+x)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(73\) vs. \(2(24)=48\).
time = 0.07, size = 73, normalized size = 3.04 \begin {gather*} \frac {3^{(-1+x) (-1+x (-1+\log (25)))} \left (x^2 \log (9) (-1+\log (25))-\log (3) \log (25)+x (-\log (9)+\log (3) \log (25))\right )}{(1+x) \log (3) (2 x (-1+\log (25))-\log (25)) \log (1+x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.82, size = 27, normalized size = 1.12
method | result | size |
risch | \(\frac {3 \,9^{x \left (x -1\right ) \ln \left (5\right )} 3^{-x^{2}}}{\ln \left (x +1\right )}\) | \(27\) |
norman | \(\frac {3 \,{\mathrm e}^{-2 \left (-x^{2}+x \right ) \ln \left (3\right ) \ln \left (5\right )-x^{2} \ln \left (3\right )}}{\ln \left (x +1\right )}\) | \(32\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.70, size = 33, normalized size = 1.38 \begin {gather*} \frac {3 \, e^{\left (2 \, x^{2} \log \left (5\right ) \log \left (3\right ) - x^{2} \log \left (3\right ) - 2 \, x \log \left (5\right ) \log \left (3\right )\right )}}{\log \left (x + 1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.41, size = 30, normalized size = 1.25 \begin {gather*} \frac {3 \, e^{\left (-x^{2} \log \left (3\right ) + 2 \, {\left (x^{2} - x\right )} \log \left (5\right ) \log \left (3\right )\right )}}{\log \left (x + 1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.13, size = 31, normalized size = 1.29 \begin {gather*} \frac {3 e^{- x^{2} \log {\left (3 \right )} - \left (- 2 x^{2} + 2 x\right ) \log {\left (3 \right )} \log {\left (5 \right )}}}{\log {\left (x + 1 \right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.41, size = 33, normalized size = 1.38 \begin {gather*} \frac {3 \, e^{\left (2 \, x^{2} \log \left (5\right ) \log \left (3\right ) - x^{2} \log \left (3\right ) - 2 \, x \log \left (5\right ) \log \left (3\right )\right )}}{\log \left (x + 1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.97, size = 33, normalized size = 1.38 \begin {gather*} \frac {3\,3^{2\,x^2\,\ln \left (5\right )}}{3^{x^2}\,3^{2\,x\,\ln \left (5\right )}\,\ln \left (x+1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________