Optimal. Leaf size=14 \[ \frac {1}{2} e^{2 x} (2+x+\log (2)) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 26, normalized size of antiderivative = 1.86, number of steps
used = 3, number of rules used = 3, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {12, 2207, 2225}
\begin {gather*} \frac {1}{4} e^{2 x} (2 x+5+\log (4))-\frac {e^{2 x}}{4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2207
Rule 2225
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{2} \int e^{2 x} (5+2 x+2 \log (2)) \, dx\\ &=\frac {1}{4} e^{2 x} (5+2 x+\log (4))-\frac {1}{2} \int e^{2 x} \, dx\\ &=-\frac {e^{2 x}}{4}+\frac {1}{4} e^{2 x} (5+2 x+\log (4))\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 19, normalized size = 1.36 \begin {gather*} \frac {1}{2} e^{2 x} \left (x+\frac {1}{2} (4+\log (4))\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.44, size = 21, normalized size = 1.50
method | result | size |
gosper | \(\frac {{\mathrm e}^{2 x} \left (\ln \left (2\right )+2+x \right )}{2}\) | \(12\) |
risch | \(\frac {{\mathrm e}^{2 x} \left (\ln \left (2\right )+2+x \right )}{2}\) | \(12\) |
norman | \(\left (1+\frac {\ln \left (2\right )}{2}\right ) {\mathrm e}^{2 x}+\frac {x \,{\mathrm e}^{2 x}}{2}\) | \(20\) |
derivativedivides | \(\frac {x \,{\mathrm e}^{2 x}}{2}+{\mathrm e}^{2 x}+\frac {\ln \left (2\right ) {\mathrm e}^{2 x}}{2}\) | \(21\) |
default | \(\frac {x \,{\mathrm e}^{2 x}}{2}+{\mathrm e}^{2 x}+\frac {\ln \left (2\right ) {\mathrm e}^{2 x}}{2}\) | \(21\) |
meijerg | \(-1+\frac {5 \,{\mathrm e}^{2 x}}{4}-\frac {\ln \left (2\right ) \left (1-{\mathrm e}^{2 x}\right )}{2}-\frac {\left (-4 x +2\right ) {\mathrm e}^{2 x}}{8}\) | \(32\) |
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. 26 vs.
\(2 (11) = 22\).
time = 0.28, size = 26, normalized size = 1.86 \begin {gather*} \frac {1}{4} \, {\left (2 \, x - 1\right )} e^{\left (2 \, x\right )} + \frac {1}{2} \, e^{\left (2 \, x\right )} \log \left (2\right ) + \frac {5}{4} \, e^{\left (2 \, x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 11, normalized size = 0.79 \begin {gather*} \frac {1}{2} \, {\left (x + \log \left (2\right ) + 2\right )} e^{\left (2 \, x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.03, size = 12, normalized size = 0.86 \begin {gather*} \frac {\left (x + \log {\left (2 \right )} + 2\right ) e^{2 x}}{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.41, size = 11, normalized size = 0.79 \begin {gather*} \frac {1}{2} \, {\left (x + \log \left (2\right ) + 2\right )} e^{\left (2 \, x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.07, size = 13, normalized size = 0.93 \begin {gather*} \frac {{\mathrm {e}}^{2\,x}\,\left (2\,x+\ln \left (4\right )+4\right )}{4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________