Optimal. Leaf size=17 \[ x+\frac {x}{8+e^{(3+x)^2}+\log (x)} \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 1.59, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {71+e^{18+12 x+2 x^2}+e^{9+6 x+x^2} \left (17-6 x-2 x^2\right )+\left (17+2 e^{9+6 x+x^2}\right ) \log (x)+\log ^2(x)}{64+16 e^{9+6 x+x^2}+e^{18+12 x+2 x^2}+\left (16+2 e^{9+6 x+x^2}\right ) \log (x)+\log ^2(x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {71+e^{2 (3+x)^2}+e^{(3+x)^2} \left (17-6 x-2 x^2\right )+\left (17+2 e^{(3+x)^2}\right ) \log (x)+\log ^2(x)}{\left (8+e^{(3+x)^2}+\log (x)\right )^2} \, dx\\ &=\int \left (1-\frac {-1+6 x+2 x^2}{8+e^{(3+x)^2}+\log (x)}+\frac {-1+48 x+16 x^2+6 x \log (x)+2 x^2 \log (x)}{\left (8+e^{(3+x)^2}+\log (x)\right )^2}\right ) \, dx\\ &=x-\int \frac {-1+6 x+2 x^2}{8+e^{(3+x)^2}+\log (x)} \, dx+\int \frac {-1+48 x+16 x^2+6 x \log (x)+2 x^2 \log (x)}{\left (8+e^{(3+x)^2}+\log (x)\right )^2} \, dx\\ &=x+\int \left (-\frac {1}{\left (8+e^{(3+x)^2}+\log (x)\right )^2}+\frac {48 x}{\left (8+e^{(3+x)^2}+\log (x)\right )^2}+\frac {16 x^2}{\left (8+e^{(3+x)^2}+\log (x)\right )^2}+\frac {6 x \log (x)}{\left (8+e^{(3+x)^2}+\log (x)\right )^2}+\frac {2 x^2 \log (x)}{\left (8+e^{(3+x)^2}+\log (x)\right )^2}\right ) \, dx-\int \left (-\frac {1}{8+e^{(3+x)^2}+\log (x)}+\frac {6 x}{8+e^{(3+x)^2}+\log (x)}+\frac {2 x^2}{8+e^{(3+x)^2}+\log (x)}\right ) \, dx\\ &=x+2 \int \frac {x^2 \log (x)}{\left (8+e^{(3+x)^2}+\log (x)\right )^2} \, dx-2 \int \frac {x^2}{8+e^{(3+x)^2}+\log (x)} \, dx+6 \int \frac {x \log (x)}{\left (8+e^{(3+x)^2}+\log (x)\right )^2} \, dx-6 \int \frac {x}{8+e^{(3+x)^2}+\log (x)} \, dx+16 \int \frac {x^2}{\left (8+e^{(3+x)^2}+\log (x)\right )^2} \, dx+48 \int \frac {x}{\left (8+e^{(3+x)^2}+\log (x)\right )^2} \, dx-\int \frac {1}{\left (8+e^{(3+x)^2}+\log (x)\right )^2} \, dx+\int \frac {1}{8+e^{(3+x)^2}+\log (x)} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.18, size = 17, normalized size = 1.00 \begin {gather*} x \left (1+\frac {1}{8+e^{(3+x)^2}+\log (x)}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.03, size = 17, normalized size = 1.00
method | result | size |
risch | \(x +\frac {x}{\ln \left (x \right )+8+{\mathrm e}^{\left (3+x \right )^{2}}}\) | \(17\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 35 vs.
\(2 (16) = 32\).
time = 0.29, size = 35, normalized size = 2.06 \begin {gather*} \frac {x e^{\left (x^{2} + 6 \, x + 9\right )} + x \log \left (x\right ) + 9 \, x}{e^{\left (x^{2} + 6 \, x + 9\right )} + \log \left (x\right ) + 8} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 35 vs.
\(2 (16) = 32\).
time = 0.36, size = 35, normalized size = 2.06 \begin {gather*} \frac {x e^{\left (x^{2} + 6 \, x + 9\right )} + x \log \left (x\right ) + 9 \, x}{e^{\left (x^{2} + 6 \, x + 9\right )} + \log \left (x\right ) + 8} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.08, size = 17, normalized size = 1.00 \begin {gather*} x + \frac {x}{e^{x^{2} + 6 x + 9} + \log {\left (x \right )} + 8} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 35 vs.
\(2 (16) = 32\).
time = 0.48, size = 35, normalized size = 2.06 \begin {gather*} \frac {x e^{\left (x^{2} + 6 \, x + 9\right )} + x \log \left (x\right ) + 9 \, x}{e^{\left (x^{2} + 6 \, x + 9\right )} + \log \left (x\right ) + 8} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 6.97, size = 30, normalized size = 1.76 \begin {gather*} \frac {x\,\left ({\mathrm {e}}^{x^2+6\,x+9}+\ln \left (x\right )+9\right )}{{\mathrm {e}}^{x^2+6\,x+9}+\ln \left (x\right )+8} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________