Optimal. Leaf size=24 \[ \frac {5}{3}+x^4 \left (-1+\frac {3 (2+x)}{x \log (2)}\right )^2 \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(49\) vs. \(2(24)=48\).
time = 0.01, antiderivative size = 49, normalized size of antiderivative = 2.04, number of steps
used = 4, number of rules used = 2, integrand size = 42, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.048, Rules used = {6, 12}
\begin {gather*} x^4 \left (1+\frac {9}{\log ^2(2)}\right )-\frac {6 x^4}{\log (2)}+\frac {36 x^3}{\log ^2(2)}-\frac {12 x^3}{\log (2)}+\frac {36 x^2}{\log ^2(2)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rule 12
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {72 x+108 x^2+\left (-36 x^2-24 x^3\right ) \log (2)+x^3 \left (36+4 \log ^2(2)\right )}{\log ^2(2)} \, dx\\ &=\frac {\int \left (72 x+108 x^2+\left (-36 x^2-24 x^3\right ) \log (2)+x^3 \left (36+4 \log ^2(2)\right )\right ) \, dx}{\log ^2(2)}\\ &=x^4 \left (1+\frac {9}{\log ^2(2)}\right )+\frac {36 x^2}{\log ^2(2)}+\frac {36 x^3}{\log ^2(2)}+\frac {\int \left (-36 x^2-24 x^3\right ) \, dx}{\log (2)}\\ &=x^4 \left (1+\frac {9}{\log ^2(2)}\right )+\frac {36 x^2}{\log ^2(2)}+\frac {36 x^3}{\log ^2(2)}-\frac {12 x^3}{\log (2)}-\frac {6 x^4}{\log (2)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 18, normalized size = 0.75 \begin {gather*} \frac {x^2 (-6+x (-3+\log (2)))^2}{\log ^2(2)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.07, size = 33, normalized size = 1.38
method | result | size |
default | \(\frac {\left (\ln \left (2\right )-3\right )^{2} x^{4}+\frac {4 \left (-9 \ln \left (2\right )+27\right ) x^{3}}{3}+36 x^{2}}{\ln \left (2\right )^{2}}\) | \(33\) |
gosper | \(\frac {\left (x^{2} \ln \left (2\right )^{2}-6 x^{2} \ln \left (2\right )-12 x \ln \left (2\right )+9 x^{2}+36 x +36\right ) x^{2}}{\ln \left (2\right )^{2}}\) | \(39\) |
norman | \(\frac {\frac {\left (\ln \left (2\right )^{2}-6 \ln \left (2\right )+9\right ) x^{4}}{\ln \left (2\right )}+\frac {36 x^{2}}{\ln \left (2\right )}-\frac {12 \left (\ln \left (2\right )-3\right ) x^{3}}{\ln \left (2\right )}}{\ln \left (2\right )}\) | \(47\) |
risch | \(x^{4}-\frac {6 x^{4}}{\ln \left (2\right )}+\frac {9 x^{4}}{\ln \left (2\right )^{2}}-\frac {12 x^{3}}{\ln \left (2\right )}+\frac {36 x^{3}}{\ln \left (2\right )^{2}}+\frac {36 x^{2}}{\ln \left (2\right )^{2}}\) | \(50\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.25, size = 42, normalized size = 1.75 \begin {gather*} \frac {x^{4} \log \left (2\right )^{2} + 9 \, x^{4} + 36 \, x^{3} + 36 \, x^{2} - 6 \, {\left (x^{4} + 2 \, x^{3}\right )} \log \left (2\right )}{\log \left (2\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.34, size = 42, normalized size = 1.75 \begin {gather*} \frac {x^{4} \log \left (2\right )^{2} + 9 \, x^{4} + 36 \, x^{3} + 36 \, x^{2} - 6 \, {\left (x^{4} + 2 \, x^{3}\right )} \log \left (2\right )}{\log \left (2\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 44 vs.
\(2 (19) = 38\).
time = 0.01, size = 44, normalized size = 1.83 \begin {gather*} \frac {x^{4} \left (- 6 \log {\left (2 \right )} + \log {\left (2 \right )}^{2} + 9\right )}{\log {\left (2 \right )}^{2}} + \frac {x^{3} \cdot \left (36 - 12 \log {\left (2 \right )}\right )}{\log {\left (2 \right )}^{2}} + \frac {36 x^{2}}{\log {\left (2 \right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.40, size = 42, normalized size = 1.75 \begin {gather*} \frac {x^{4} \log \left (2\right )^{2} + 9 \, x^{4} + 36 \, x^{3} + 36 \, x^{2} - 6 \, {\left (x^{4} + 2 \, x^{3}\right )} \log \left (2\right )}{\log \left (2\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.08, size = 20, normalized size = 0.83 \begin {gather*} \frac {x^2\,{\left (3\,x-x\,\ln \left (2\right )+6\right )}^2}{{\ln \left (2\right )}^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________