Optimal. Leaf size=18 \[ x^4 \left (2+\log \left (-1+e x^2-\log (9)\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.26, antiderivative size = 22, normalized size of antiderivative = 1.22, number of steps
used = 10, number of rules used = 7, integrand size = 64, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.109, Rules used = {6, 6857, 457,
78, 2504, 2442, 45} \begin {gather*} 2 x^4+x^4 \log \left (e x^2-1-\log (9)\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rule 45
Rule 78
Rule 457
Rule 2442
Rule 2504
Rule 6857
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-10 e x^5+x^3 (8+8 \log (9))+\left (4 x^3-4 e x^5+4 x^3 \log (9)\right ) \log \left (-1+e x^2-\log (9)\right )}{1-e x^2+\log (9)} \, dx\\ &=\int \left (\frac {2 x^3 \left (-4+5 e x^2-4 \log (9)\right )}{-1+e x^2-\log (9)}+4 x^3 \log \left (-1+e x^2-\log (9)\right )\right ) \, dx\\ &=2 \int \frac {x^3 \left (-4+5 e x^2-4 \log (9)\right )}{-1+e x^2-\log (9)} \, dx+4 \int x^3 \log \left (-1+e x^2-\log (9)\right ) \, dx\\ &=2 \text {Subst}\left (\int x \log (-1+e x-\log (9)) \, dx,x,x^2\right )+\text {Subst}\left (\int \frac {x (-4+5 e x-4 \log (9))}{-1+e x-\log (9)} \, dx,x,x^2\right )\\ &=x^4 \log \left (-1+e x^2-\log (9)\right )-e \text {Subst}\left (\int \frac {x^2}{-1+e x-\log (9)} \, dx,x,x^2\right )+\text {Subst}\left (\int \left (5 x+\frac {1+\log (9)}{e}+\frac {(1+\log (9))^2}{e (-1+e x-\log (9))}\right ) \, dx,x,x^2\right )\\ &=\frac {5 x^4}{2}+\frac {x^2 (1+\log (9))}{e}+x^4 \log \left (-1+e x^2-\log (9)\right )+\frac {(1+\log (9))^2 \log \left (1-e x^2+\log (9)\right )}{e^2}-e \text {Subst}\left (\int \left (\frac {x}{e}+\frac {1+\log (9)}{e^2}+\frac {(1+\log (9))^2}{e^2 (-1+e x-\log (9))}\right ) \, dx,x,x^2\right )\\ &=2 x^4+x^4 \log \left (-1+e x^2-\log (9)\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 25, normalized size = 1.39 \begin {gather*} 2 \left (x^4+\frac {1}{2} x^4 \log \left (-1+e x^2-\log (9)\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(148\) vs.
\(2(19)=38\).
time = 1.18, size = 149, normalized size = 8.28
method | result | size |
norman | \(x^{4} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right )+2 x^{4}\) | \(24\) |
risch | \(x^{4} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right )+2 x^{4}\) | \(24\) |
default | \(x^{4} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right )+2 x^{4}-4 \,{\mathrm e}^{-2} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right ) \ln \left (3\right )^{2}-4 \,{\mathrm e}^{-2} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right ) \ln \left (3\right )-{\mathrm e}^{-2} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right )+4 \left ({\mathrm e}^{-1}\right )^{2} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right ) \ln \left (3\right )^{2}+4 \left ({\mathrm e}^{-1}\right )^{2} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right ) \ln \left (3\right )+\left ({\mathrm e}^{-1}\right )^{2} \ln \left (-2 \ln \left (3\right )+x^{2} {\mathrm e}-1\right )\) | \(149\) |
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. 467 vs.
\(2 (19) = 38\).
time = 0.48, size = 467, normalized size = 25.94 \begin {gather*} -4 \, x^{2} e^{\left (-1\right )} + 2 \, {\left (2 \, x^{2} e + {\left (2 \, \log \left (3\right ) + 1\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )^{2} + 2 \, {\left (2 \, \log \left (3\right ) + 1\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )\right )} e^{\left (-2\right )} \log \left (3\right ) + {\left (2 \, {\left (4 \, \log \left (3\right )^{2} + 4 \, \log \left (3\right ) + 1\right )} e^{\left (-3\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + {\left (x^{4} e + 2 \, x^{2} {\left (2 \, \log \left (3\right ) + 1\right )}\right )} e^{\left (-2\right )}\right )} e \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) - 4 \, {\left (2 \, \log \left (3\right ) + 1\right )} e^{\left (-2\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) - 4 \, {\left (x^{2} e^{\left (-1\right )} + {\left (2 \, \log \left (3\right ) + 1\right )} e^{\left (-2\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )\right )} \log \left (3\right ) \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + \frac {5}{2} \, {\left (2 \, {\left (4 \, \log \left (3\right )^{2} + 4 \, \log \left (3\right ) + 1\right )} e^{\left (-3\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + {\left (x^{4} e + 2 \, x^{2} {\left (2 \, \log \left (3\right ) + 1\right )}\right )} e^{\left (-2\right )}\right )} e - \frac {1}{2} \, {\left (x^{4} e^{2} + 6 \, x^{2} {\left (2 \, \log \left (3\right ) + 1\right )} e + 2 \, {\left (4 \, \log \left (3\right )^{2} + 4 \, \log \left (3\right ) + 1\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )^{2} + 6 \, {\left (4 \, \log \left (3\right )^{2} + 4 \, \log \left (3\right ) + 1\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )\right )} e^{\left (-2\right )} + {\left (2 \, x^{2} e + {\left (2 \, \log \left (3\right ) + 1\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )^{2} + 2 \, {\left (2 \, \log \left (3\right ) + 1\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )\right )} e^{\left (-2\right )} - 8 \, {\left (x^{2} e^{\left (-1\right )} + {\left (2 \, \log \left (3\right ) + 1\right )} e^{\left (-2\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )\right )} \log \left (3\right ) - 2 \, {\left (x^{2} e^{\left (-1\right )} + {\left (2 \, \log \left (3\right ) + 1\right )} e^{\left (-2\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.35, size = 23, normalized size = 1.28 \begin {gather*} x^{4} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + 2 \, x^{4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.08, size = 22, normalized size = 1.22 \begin {gather*} x^{4} \log {\left (e x^{2} - 2 \log {\left (3 \right )} - 1 \right )} + 2 x^{4} \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. 181 vs.
\(2 (19) = 38\).
time = 0.42, size = 181, normalized size = 10.06 \begin {gather*} {\left (4 \, x^{2} e + {\left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )}^{2} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + 4 \, {\left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )} \log \left (3\right ) \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + 4 \, \log \left (3\right )^{2} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + 2 \, {\left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )}^{2} + 8 \, {\left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )} \log \left (3\right ) + 2 \, {\left (x^{2} e - 2 \, \log \left (3\right ) - 1\right )} \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) + 4 \, \log \left (3\right ) \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) - 8 \, \log \left (3\right ) + \log \left (x^{2} e - 2 \, \log \left (3\right ) - 1\right ) - 4\right )} e^{\left (-2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 20.72, size = 156, normalized size = 8.67 \begin {gather*} x^4\,\ln \left (\mathrm {e}\,x^2-2\,\ln \left (3\right )-1\right )-4\,x^2\,{\mathrm {e}}^{-1}+2\,x^4-8\,x^2\,{\mathrm {e}}^{-1}\,\ln \left (3\right )-\ln \left (\mathrm {e}\,x^2-\ln \left (9\right )-1\right )\,{\mathrm {e}}^{-2}\,\left (4\,\ln \left (9\right )+4\right )+\ln \left (\mathrm {e}\,x^2-\ln \left (9\right )-1\right )\,{\mathrm {e}}^{-2}\,\left (10\,\ln \left (9\right )+5\,{\ln \left (9\right )}^2+5\right )-\ln \left (\mathrm {e}\,x^2-\ln \left (9\right )-1\right )\,{\mathrm {e}}^{-2}\,\left (8\,\ln \left (3\right )+8\,\ln \left (3\right )\,\ln \left (9\right )\right )+4\,x^2\,{\mathrm {e}}^{-1}\,\left (\ln \left (9\right )+1\right )-\ln \left (\mathrm {e}\,x^2-\ln \left (9\right )-1\right )\,{\mathrm {e}}^{-2}\,\left (2\,\ln \left (9\right )+{\ln \left (9\right )}^2+1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________