Optimal. Leaf size=21 \[ x (3-x (-24+x+\log (i \pi -\log (2)))) \]
________________________________________________________________________________________
Rubi [A] time = 0.01, antiderivative size = 28, normalized size of antiderivative = 1.33, number of steps used = 2, number of rules used = 1, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.042, Rules used = {6} \begin {gather*} -x^3+x^2 (24-\log (-\log (2)-i \pi ))+3 x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (3-3 x^2+x (48-2 \log (-i \pi -\log (2)))\right ) \, dx\\ &=3 x-x^3+x^2 (24-\log (-i \pi -\log (2)))\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 30, normalized size = 1.43 \begin {gather*} 3 x+24 x^2-x^3-x^2 \log (-i \pi -\log (2)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.49, size = 28, normalized size = 1.33 \begin {gather*} -x^{3} - x^{2} \log \left (-i \, \pi - \log \relax (2)\right ) + 24 \, x^{2} + 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.13, size = 28, normalized size = 1.33 \begin {gather*} -x^{3} - x^{2} \log \left (-i \, \pi - \log \relax (2)\right ) + 24 \, x^{2} + 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 24, normalized size = 1.14
method | result | size |
gosper | \(-x \left (x \ln \left (-\ln \relax (2)-i \pi \right )+x^{2}-24 x -3\right )\) | \(24\) |
norman | \(\left (-\ln \left (-\ln \relax (2)-i \pi \right )+24\right ) x^{2}+3 x -x^{3}\) | \(28\) |
default | \(-x^{2} \ln \left (-\ln \relax (2)-i \pi \right )-x^{3}+24 x^{2}+3 x\) | \(30\) |
risch | \(-\ln \left (-i \left (-i \ln \relax (2)+\pi \right )\right ) x^{2}-x^{3}+24 x^{2}+3 x\) | \(31\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.35, size = 28, normalized size = 1.33 \begin {gather*} -x^{3} - x^{2} \log \left (-i \, \pi - \log \relax (2)\right ) + 24 \, x^{2} + 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.28, size = 26, normalized size = 1.24 \begin {gather*} -x^3+\left (24-\ln \left (-\ln \relax (2)-\Pi \,1{}\mathrm {i}\right )\right )\,x^2+3\,x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.05, size = 20, normalized size = 0.95 \begin {gather*} - x^{3} + x^{2} \left (24 - \log {\left (- \log {\relax (2 )} - i \pi \right )}\right ) + 3 x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________