Optimal. Leaf size=56 \[ \frac{2 e^{-b^2 x^2} \text{Erf}(b x)}{\sqrt{\pi } b}+x \text{Erf}(b x)^2-\frac{\sqrt{\frac{2}{\pi }} \text{Erf}\left (\sqrt{2} b x\right )}{b} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.05024, antiderivative size = 56, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 6, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.667, Rules used = {6352, 12, 6382, 2205} \[ \frac{2 e^{-b^2 x^2} \text{Erf}(b x)}{\sqrt{\pi } b}+x \text{Erf}(b x)^2-\frac{\sqrt{\frac{2}{\pi }} \text{Erf}\left (\sqrt{2} b x\right )}{b} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6352
Rule 12
Rule 6382
Rule 2205
Rubi steps
\begin{align*} \int \text{erf}(b x)^2 \, dx &=x \text{erf}(b x)^2-\frac{4 \int b e^{-b^2 x^2} x \text{erf}(b x) \, dx}{\sqrt{\pi }}\\ &=x \text{erf}(b x)^2-\frac{(4 b) \int e^{-b^2 x^2} x \text{erf}(b x) \, dx}{\sqrt{\pi }}\\ &=\frac{2 e^{-b^2 x^2} \text{erf}(b x)}{b \sqrt{\pi }}+x \text{erf}(b x)^2-\frac{4 \int e^{-2 b^2 x^2} \, dx}{\pi }\\ &=\frac{2 e^{-b^2 x^2} \text{erf}(b x)}{b \sqrt{\pi }}+x \text{erf}(b x)^2-\frac{\sqrt{\frac{2}{\pi }} \text{erf}\left (\sqrt{2} b x\right )}{b}\\ \end{align*}
Mathematica [A] time = 0.0300453, size = 56, normalized size = 1. \[ \frac{2 e^{-b^2 x^2} \text{Erf}(b x)}{\sqrt{\pi } b}+x \text{Erf}(b x)^2-\frac{\sqrt{\frac{2}{\pi }} \text{Erf}\left (\sqrt{2} b x\right )}{b} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.048, size = 48, normalized size = 0.9 \begin{align*}{\frac{1}{b} \left ( bx \left ({\it Erf} \left ( bx \right ) \right ) ^{2}+2\,{\frac{{\it Erf} \left ( bx \right ){{\rm e}^{-{b}^{2}{x}^{2}}}}{\sqrt{\pi }}}-{\frac{\sqrt{2}{\it Erf} \left ( bx\sqrt{2} \right ) }{\sqrt{\pi }}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.7455, size = 84, normalized size = 1.5 \begin{align*} \frac{{\left (\sqrt{\pi } b x \operatorname{erf}\left (b x\right )^{2} e^{\left (b^{2} x^{2}\right )} + 2 \, \operatorname{erf}\left (b x\right )\right )} e^{\left (-b^{2} x^{2}\right )}}{\sqrt{\pi } b} - \frac{\sqrt{2} \operatorname{erf}\left (\sqrt{2} b x\right )}{\sqrt{\pi } b} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.50966, size = 166, normalized size = 2.96 \begin{align*} \frac{\pi b^{2} x \operatorname{erf}\left (b x\right )^{2} + 2 \, \sqrt{\pi } b \operatorname{erf}\left (b x\right ) e^{\left (-b^{2} x^{2}\right )} - \sqrt{2} \sqrt{\pi } \sqrt{b^{2}} \operatorname{erf}\left (\sqrt{2} \sqrt{b^{2}} x\right )}{\pi b^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \operatorname{erf}^{2}{\left (b x \right )}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.30586, size = 65, normalized size = 1.16 \begin{align*} x \operatorname{erf}\left (b x\right )^{2} + \frac{b{\left (\frac{2 \, \operatorname{erf}\left (b x\right ) e^{\left (-b^{2} x^{2}\right )}}{b^{2}} + \frac{\sqrt{2} \operatorname{erf}\left (-\sqrt{2} b x\right )}{b^{2}}\right )}}{\sqrt{\pi }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]