Optimal. Leaf size=25 \[ e^{4 x^2}+\frac {x}{\log \left (\frac {\left (\frac {5}{8}+x\right )^2}{\log ^2(12)}\right )} \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(57\) vs. \(2(25)=50\).
time = 0.30, antiderivative size = 57, normalized size of antiderivative = 2.28, number of steps
used = 14, number of rules used = 10, integrand size = 96, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.104, Rules used = {6820, 2240,
2458, 2395, 2334, 2337, 2209, 2339, 30, 2436} \begin {gather*} e^{4 x^2}+\frac {8 x+5}{8 \log \left (\frac {(8 x+5)^2}{64 \log ^2(12)}\right )}-\frac {5}{8 \log \left (\frac {(8 x+5)^2}{64 \log ^2(12)}\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 30
Rule 2209
Rule 2240
Rule 2334
Rule 2337
Rule 2339
Rule 2395
Rule 2436
Rule 2458
Rule 6820
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (8 e^{4 x^2} x-\frac {16 x}{(5+8 x) \log ^2\left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )}+\frac {1}{\log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )}\right ) \, dx\\ &=8 \int e^{4 x^2} x \, dx-16 \int \frac {x}{(5+8 x) \log ^2\left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )} \, dx+\int \frac {1}{\log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )} \, dx\\ &=e^{4 x^2}+\frac {1}{8} \text {Subst}\left (\int \frac {1}{\log \left (\frac {x^2}{64 \log ^2(12)}\right )} \, dx,x,5+8 x\right )-2 \text {Subst}\left (\int \frac {-\frac {5}{8}+\frac {x}{8}}{x \log ^2\left (\frac {x^2}{64 \log ^2(12)}\right )} \, dx,x,5+8 x\right )\\ &=e^{4 x^2}-2 \text {Subst}\left (\int \left (\frac {1}{8 \log ^2\left (\frac {x^2}{64 \log ^2(12)}\right )}-\frac {5}{8 x \log ^2\left (\frac {x^2}{64 \log ^2(12)}\right )}\right ) \, dx,x,5+8 x\right )+\frac {((5+8 x) \log (12)) \text {Subst}\left (\int \frac {e^{x/2}}{x} \, dx,x,\log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )\right )}{2 \sqrt {(5+8 x)^2}}\\ &=e^{4 x^2}+\frac {(5+8 x) \text {Ei}\left (\frac {1}{2} \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )\right ) \log (12)}{2 \sqrt {(5+8 x)^2}}-\frac {1}{4} \text {Subst}\left (\int \frac {1}{\log ^2\left (\frac {x^2}{64 \log ^2(12)}\right )} \, dx,x,5+8 x\right )+\frac {5}{4} \text {Subst}\left (\int \frac {1}{x \log ^2\left (\frac {x^2}{64 \log ^2(12)}\right )} \, dx,x,5+8 x\right )\\ &=e^{4 x^2}+\frac {(5+8 x) \text {Ei}\left (\frac {1}{2} \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )\right ) \log (12)}{2 \sqrt {(5+8 x)^2}}+\frac {5+8 x}{8 \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )}-\frac {1}{8} \text {Subst}\left (\int \frac {1}{\log \left (\frac {x^2}{64 \log ^2(12)}\right )} \, dx,x,5+8 x\right )+\frac {5}{8} \text {Subst}\left (\int \frac {1}{x^2} \, dx,x,\log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )\right )\\ &=e^{4 x^2}+\frac {(5+8 x) \text {Ei}\left (\frac {1}{2} \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )\right ) \log (12)}{2 \sqrt {(5+8 x)^2}}-\frac {5}{8 \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )}+\frac {5+8 x}{8 \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )}-\frac {((5+8 x) \log (12)) \text {Subst}\left (\int \frac {e^{x/2}}{x} \, dx,x,\log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )\right )}{2 \sqrt {(5+8 x)^2}}\\ &=e^{4 x^2}-\frac {5}{8 \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )}+\frac {5+8 x}{8 \log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.11, size = 28, normalized size = 1.12 \begin {gather*} e^{4 x^2}+\frac {x}{\log \left (\frac {(5+8 x)^2}{64 \log ^2(12)}\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 10.57, size = 38, normalized size = 1.52
method | result | size |
default | \(-\frac {x}{6 \ln \left (2\right )+2 \ln \left (\ln \left (3\right )+2 \ln \left (2\right )\right )-\ln \left (\left (8 x +5\right )^{2}\right )}+{\mathrm e}^{4 x^{2}}\) | \(38\) |
norman | \(\frac {x +{\mathrm e}^{4 x^{2}} \ln \left (\frac {64 x^{2}+80 x +25}{64 \ln \left (12\right )^{2}}\right )}{\ln \left (\frac {64 x^{2}+80 x +25}{64 \ln \left (12\right )^{2}}\right )}\) | \(47\) |
risch | \({\mathrm e}^{4 x^{2}}+\frac {2 i x}{\pi \mathrm {csgn}\left (i \left (\frac {5}{8}+x \right )\right )^{2} \mathrm {csgn}\left (i \left (\frac {5}{8}+x \right )^{2}\right )-2 \pi \,\mathrm {csgn}\left (i \left (\frac {5}{8}+x \right )\right ) \mathrm {csgn}\left (i \left (\frac {5}{8}+x \right )^{2}\right )^{2}+\pi \mathrm {csgn}\left (i \left (\frac {5}{8}+x \right )^{2}\right )^{3}-4 i \ln \left (\ln \left (3\right )+2 \ln \left (2\right )\right )+4 i \ln \left (\frac {5}{8}+x \right )}\) | \(87\) |
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. 64 vs.
\(2 (25) = 50\).
time = 0.53, size = 64, normalized size = 2.56 \begin {gather*} \frac {2 \, {\left (3 \, \log \left (2\right ) + \log \left (\log \left (3\right ) + 2 \, \log \left (2\right )\right )\right )} e^{\left (4 \, x^{2}\right )} - 2 \, e^{\left (4 \, x^{2}\right )} \log \left (8 \, x + 5\right ) - x}{2 \, {\left (3 \, \log \left (2\right ) - \log \left (8 \, x + 5\right ) + \log \left (\log \left (3\right ) + 2 \, \log \left (2\right )\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 46, normalized size = 1.84 \begin {gather*} \frac {e^{\left (4 \, x^{2}\right )} \log \left (\frac {64 \, x^{2} + 80 \, x + 25}{64 \, \log \left (12\right )^{2}}\right ) + x}{\log \left (\frac {64 \, x^{2} + 80 \, x + 25}{64 \, \log \left (12\right )^{2}}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.14, size = 26, normalized size = 1.04 \begin {gather*} \frac {x}{\log {\left (\frac {x^{2} + \frac {5 x}{4} + \frac {25}{64}}{\log {\left (12 \right )}^{2}} \right )}} + e^{4 x^{2}} \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. 70 vs.
\(2 (25) = 50\).
time = 0.47, size = 70, normalized size = 2.80 \begin {gather*} \frac {6 \, e^{\left (4 \, x^{2}\right )} \log \left (2\right ) - e^{\left (4 \, x^{2}\right )} \log \left (64 \, x^{2} + 80 \, x + 25\right ) + 2 \, e^{\left (4 \, x^{2}\right )} \log \left (\log \left (12\right )\right ) - x}{6 \, \log \left (2\right ) - \log \left (64 \, x^{2} + 80 \, x + 25\right ) + 2 \, \log \left (\log \left (12\right )\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.85, size = 25, normalized size = 1.00 \begin {gather*} {\mathrm {e}}^{4\,x^2}+\frac {x}{\ln \left (\frac {x^2+\frac {5\,x}{4}+\frac {25}{64}}{{\ln \left (12\right )}^2}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________