Optimal. Leaf size=23 \[ 9+3 x+x \left (x+\frac {-5+x}{i \pi +\log (2)}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 39, normalized size of antiderivative = 1.70, number of steps
used = 2, number of rules used = 1, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.033, Rules used = {12}
\begin {gather*} \frac {x^2}{\log (2)+i \pi }+\frac {1}{4} (2 x+3)^2-\frac {5 x}{\log (2)+i \pi } \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int (-5+2 x+(3+2 x) (i \pi +\log (2))) \, dx}{i \pi +\log (2)}\\ &=\frac {1}{4} (3+2 x)^2-\frac {5 x}{i \pi +\log (2)}+\frac {x^2}{i \pi +\log (2)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 43, normalized size = 1.87 \begin {gather*} \frac {-5 x+3 i \pi x+x^2+i \pi x^2+3 x \log (2)+x^2 \log (2)}{i \pi +\log (2)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 46 vs. \(2 (22 ) = 44\).
time = 1.40, size = 47, normalized size = 2.04
method | result | size |
default | \(\frac {i \left (-i x^{2} \ln \left (2\right )+\pi \,x^{2}-3 i \ln \left (2\right ) x -i x^{2}+3 \pi x +5 i x \right )}{\ln \left (2\right )+i \pi }\) | \(47\) |
norman | \(\frac {\left (\pi ^{2}-i \pi +\ln \left (2\right )^{2}+\ln \left (2\right )\right ) x^{2}}{\ln \left (2\right )^{2}+\pi ^{2}}+\frac {\left (3 \pi ^{2}+5 i \pi +3 \ln \left (2\right )^{2}-5 \ln \left (2\right )\right ) x}{\ln \left (2\right )^{2}+\pi ^{2}}\) | \(62\) |
gosper | \(\frac {x \left (-i \ln \left (2\right ) x +\pi x -3 i \ln \left (2\right )-i x +3 \pi +5 i\right ) \left (2 i x \pi +3 i \pi +2 x \ln \left (2\right )+3 \ln \left (2\right )+2 x -5\right )}{\left (-2 i \ln \left (2\right ) x +2 \pi x -3 i \ln \left (2\right )-2 i x +3 \pi +5 i\right ) \left (\ln \left (2\right )+i \pi \right )}\) | \(86\) |
risch | \(\frac {x^{2} \ln \left (2\right )}{\ln \left (2\right )+i \pi }+\frac {i \pi \,x^{2}}{\ln \left (2\right )+i \pi }+\frac {3 x \ln \left (2\right )}{\ln \left (2\right )+i \pi }+\frac {x^{2}}{\ln \left (2\right )+i \pi }+\frac {3 i \pi x}{\ln \left (2\right )+i \pi }-\frac {5 x}{\ln \left (2\right )+i \pi }\) | \(86\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.25, size = 30, normalized size = 1.30 \begin {gather*} \frac {{\left (i \, \pi + \log \left (2\right )\right )} {\left (x^{2} + 3 \, x\right )} + x^{2} - 5 \, x}{i \, \pi + \log \left (2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 36, normalized size = 1.57 \begin {gather*} \frac {{\left (i \, \pi + 1\right )} x^{2} + {\left (3 i \, \pi - 5\right )} x + {\left (x^{2} + 3 \, x\right )} \log \left (2\right )}{i \, \pi + \log \left (2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 37 vs. \(2 (17) = 34\).
time = 0.01, size = 37, normalized size = 1.61 \begin {gather*} \frac {x^{2} \left (\log {\left (2 \right )} + 1 + i \pi \right )}{\log {\left (2 \right )} + i \pi } + \frac {x \left (-5 + 3 \log {\left (2 \right )} + 3 i \pi \right )}{\log {\left (2 \right )} + i \pi } \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.40, size = 30, normalized size = 1.30 \begin {gather*} \frac {{\left (i \, \pi + \log \left (2\right )\right )} {\left (x^{2} + 3 \, x\right )} + x^{2} - 5 \, x}{i \, \pi + \log \left (2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 5.89, size = 48, normalized size = 2.09 \begin {gather*} \frac {x\,\left (3\,\Pi -\ln \left (2\right )\,3{}\mathrm {i}+5{}\mathrm {i}\right )}{\Pi -\ln \left (2\right )\,1{}\mathrm {i}}-\frac {x^2\,\left (-\Pi +\ln \left (2\right )\,1{}\mathrm {i}+1{}\mathrm {i}\right )}{\Pi -\ln \left (2\right )\,1{}\mathrm {i}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________