Optimal. Leaf size=24 \[ -x \log \left (\frac {4}{x}-x\right )+\log \left (e^x-x^2\right ) \]
________________________________________________________________________________________
Rubi [F] time = 0.94, 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 {-8 e^x+8 x+4 x^2-2 x^3+x^4+\left (-4 x^2+x^4+e^x \left (4-x^2\right )\right ) \log \left (\frac {4-x^2}{x}\right )}{4 x^2-x^4+e^x \left (-4+x^2\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {8 e^x-8 x-4 x^2+2 x^3-x^4-\left (-4 x^2+x^4+e^x \left (4-x^2\right )\right ) \log \left (\frac {4-x^2}{x}\right )}{\left (4-x^2\right ) \left (e^x-x^2\right )} \, dx\\ &=\int \left (-\frac {(-2+x) x}{-e^x+x^2}+\frac {-8+4 \log \left (\frac {4}{x}-x\right )-x^2 \log \left (\frac {4}{x}-x\right )}{-4+x^2}\right ) \, dx\\ &=-\int \frac {(-2+x) x}{-e^x+x^2} \, dx+\int \frac {-8+4 \log \left (\frac {4}{x}-x\right )-x^2 \log \left (\frac {4}{x}-x\right )}{-4+x^2} \, dx\\ &=-\int \left (-\frac {2 x}{-e^x+x^2}+\frac {x^2}{-e^x+x^2}\right ) \, dx+\int \left (-\frac {8}{-4+x^2}-\log \left (\frac {4-x^2}{x}\right )\right ) \, dx\\ &=2 \int \frac {x}{-e^x+x^2} \, dx-8 \int \frac {1}{-4+x^2} \, dx-\int \frac {x^2}{-e^x+x^2} \, dx-\int \log \left (\frac {4-x^2}{x}\right ) \, dx\\ &=4 \tanh ^{-1}\left (\frac {x}{2}\right )-x \log \left (\frac {4-x^2}{x}\right )+2 \int \frac {x}{-e^x+x^2} \, dx+\int \frac {-4-x^2}{4-x^2} \, dx-\int \frac {x^2}{-e^x+x^2} \, dx\\ &=x+4 \tanh ^{-1}\left (\frac {x}{2}\right )-x \log \left (\frac {4-x^2}{x}\right )+2 \int \frac {x}{-e^x+x^2} \, dx-8 \int \frac {1}{4-x^2} \, dx-\int \frac {x^2}{-e^x+x^2} \, dx\\ &=x-x \log \left (\frac {4-x^2}{x}\right )+2 \int \frac {x}{-e^x+x^2} \, dx-\int \frac {x^2}{-e^x+x^2} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.20, size = 24, normalized size = 1.00 \begin {gather*} -x \log \left (\frac {4}{x}-x\right )+\log \left (e^x-x^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.92, size = 24, normalized size = 1.00 \begin {gather*} -x \log \left (-\frac {x^{2} - 4}{x}\right ) + \log \left (-x^{2} + e^{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.16, size = 24, normalized size = 1.00 \begin {gather*} -x \log \left (-\frac {x^{2} - 4}{x}\right ) + \log \left (x^{2} - e^{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.13, size = 26, normalized size = 1.08
method | result | size |
norman | \(-x \ln \left (\frac {-x^{2}+4}{x}\right )+\ln \left (-{\mathrm e}^{x}+x^{2}\right )\) | \(26\) |
risch | \(-x \ln \left (x^{2}-4\right )+x \ln \relax (x )+\frac {i \pi x \,\mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \left (x^{2}-4\right )\right ) \mathrm {csgn}\left (\frac {i \left (x^{2}-4\right )}{x}\right )}{2}-\frac {i \pi x \,\mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (\frac {i \left (x^{2}-4\right )}{x}\right )^{2}}{2}+i \pi x \mathrm {csgn}\left (\frac {i \left (x^{2}-4\right )}{x}\right )^{2}-\frac {i \pi x \,\mathrm {csgn}\left (i \left (x^{2}-4\right )\right ) \mathrm {csgn}\left (\frac {i \left (x^{2}-4\right )}{x}\right )^{2}}{2}-\frac {i \pi x \mathrm {csgn}\left (\frac {i \left (x^{2}-4\right )}{x}\right )^{3}}{2}-i \pi x +\ln \left ({\mathrm e}^{x}-x^{2}\right )\) | \(154\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.42, size = 30, normalized size = 1.25 \begin {gather*} -x \log \left (x + 2\right ) + x \log \relax (x) - x \log \left (-x + 2\right ) + \log \left (-x^{2} + e^{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.39, size = 24, normalized size = 1.00 \begin {gather*} \ln \left ({\mathrm {e}}^x-x^2\right )-x\,\ln \left (-\frac {x^2-4}{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.39, size = 17, normalized size = 0.71 \begin {gather*} - x \log {\left (\frac {4 - x^{2}}{x} \right )} + \log {\left (- x^{2} + e^{x} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________