3.91 \(\int e^{c+d x^2} x^2 \text {erf}(a+b x) \, dx\)

Optimal. Leaf size=164 \[ -\frac {\text {Int}\left (e^{c+d x^2} \text {erf}(a+b x),x\right )}{2 d}+\frac {a b^2 e^{\frac {a^2 d}{b^2-d}+c} \text {erf}\left (\frac {a b+x \left (b^2-d\right )}{\sqrt {b^2-d}}\right )}{2 d \left (b^2-d\right )^{3/2}}+\frac {b e^{-a^2-2 a b x-x^2 \left (b^2-d\right )+c}}{2 \sqrt {\pi } d \left (b^2-d\right )}+\frac {x e^{c+d x^2} \text {erf}(a+b x)}{2 d} \]

[Out]

1/2*exp(d*x^2+c)*x*erf(b*x+a)/d+1/2*a*b^2*exp(c+a^2*d/(b^2-d))*erf((a*b+(b^2-d)*x)/(b^2-d)^(1/2))/(b^2-d)^(3/2
)/d+1/2*b*exp(-a^2+c-2*a*b*x-(b^2-d)*x^2)/(b^2-d)/d/Pi^(1/2)-1/2*Unintegrable(exp(d*x^2+c)*erf(b*x+a),x)/d

________________________________________________________________________________________

Rubi [A]  time = 0.19, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \[ \int e^{c+d x^2} x^2 \text {Erf}(a+b x) \, dx \]

Verification is Not applicable to the result.

[In]

Int[E^(c + d*x^2)*x^2*Erf[a + b*x],x]

[Out]

(b*E^(-a^2 + c - 2*a*b*x - (b^2 - d)*x^2))/(2*(b^2 - d)*d*Sqrt[Pi]) + (E^(c + d*x^2)*x*Erf[a + b*x])/(2*d) + (
a*b^2*E^(c + (a^2*d)/(b^2 - d))*Erf[(a*b + (b^2 - d)*x)/Sqrt[b^2 - d]])/(2*(b^2 - d)^(3/2)*d) - Defer[Int][E^(
c + d*x^2)*Erf[a + b*x], x]/(2*d)

Rubi steps

\begin {align*} \int e^{c+d x^2} x^2 \text {erf}(a+b x) \, dx &=\frac {e^{c+d x^2} x \text {erf}(a+b x)}{2 d}-\frac {\int e^{c+d x^2} \text {erf}(a+b x) \, dx}{2 d}-\frac {b \int e^{-a^2+c-2 a b x+\left (-b^2+d\right ) x^2} x \, dx}{d \sqrt {\pi }}\\ &=\frac {b e^{-a^2+c-2 a b x-\left (b^2-d\right ) x^2}}{2 \left (b^2-d\right ) d \sqrt {\pi }}+\frac {e^{c+d x^2} x \text {erf}(a+b x)}{2 d}-\frac {\int e^{c+d x^2} \text {erf}(a+b x) \, dx}{2 d}+\frac {\left (a b^2\right ) \int e^{-a^2+c-2 a b x+\left (-b^2+d\right ) x^2} \, dx}{\left (b^2-d\right ) d \sqrt {\pi }}\\ &=\frac {b e^{-a^2+c-2 a b x-\left (b^2-d\right ) x^2}}{2 \left (b^2-d\right ) d \sqrt {\pi }}+\frac {e^{c+d x^2} x \text {erf}(a+b x)}{2 d}-\frac {\int e^{c+d x^2} \text {erf}(a+b x) \, dx}{2 d}+\frac {\left (a b^2 e^{\frac {b^2 c+a^2 d-c d}{b^2-d}}\right ) \int \exp \left (\frac {\left (-2 a b+2 \left (-b^2+d\right ) x\right )^2}{4 \left (-b^2+d\right )}\right ) \, dx}{\left (b^2-d\right ) d \sqrt {\pi }}\\ &=\frac {b e^{-a^2+c-2 a b x-\left (b^2-d\right ) x^2}}{2 \left (b^2-d\right ) d \sqrt {\pi }}+\frac {e^{c+d x^2} x \text {erf}(a+b x)}{2 d}+\frac {a b^2 e^{\frac {b^2 c+a^2 d-c d}{b^2-d}} \text {erf}\left (\frac {a b+\left (b^2-d\right ) x}{\sqrt {b^2-d}}\right )}{2 \left (b^2-d\right )^{3/2} d}-\frac {\int e^{c+d x^2} \text {erf}(a+b x) \, dx}{2 d}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.47, size = 0, normalized size = 0.00 \[ \int e^{c+d x^2} x^2 \text {erf}(a+b x) \, dx \]

Verification is Not applicable to the result.

[In]

Integrate[E^(c + d*x^2)*x^2*Erf[a + b*x],x]

[Out]

Integrate[E^(c + d*x^2)*x^2*Erf[a + b*x], x]

________________________________________________________________________________________

fricas [A]  time = 0.42, size = 0, normalized size = 0.00 \[ {\rm integral}\left (x^{2} \operatorname {erf}\left (b x + a\right ) e^{\left (d x^{2} + c\right )}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(d*x^2+c)*x^2*erf(b*x+a),x, algorithm="fricas")

[Out]

integral(x^2*erf(b*x + a)*e^(d*x^2 + c), x)

________________________________________________________________________________________

giac [A]  time = 0.00, size = 0, normalized size = 0.00 \[ \int x^{2} \operatorname {erf}\left (b x + a\right ) e^{\left (d x^{2} + c\right )}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(d*x^2+c)*x^2*erf(b*x+a),x, algorithm="giac")

[Out]

integrate(x^2*erf(b*x + a)*e^(d*x^2 + c), x)

________________________________________________________________________________________

maple [A]  time = 0.19, size = 0, normalized size = 0.00 \[ \int {\mathrm e}^{d \,x^{2}+c} x^{2} \erf \left (b x +a \right )\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(d*x^2+c)*x^2*erf(b*x+a),x)

[Out]

int(exp(d*x^2+c)*x^2*erf(b*x+a),x)

________________________________________________________________________________________

maxima [A]  time = 0.00, size = 0, normalized size = 0.00 \[ \int x^{2} \operatorname {erf}\left (b x + a\right ) e^{\left (d x^{2} + c\right )}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(d*x^2+c)*x^2*erf(b*x+a),x, algorithm="maxima")

[Out]

integrate(x^2*erf(b*x + a)*e^(d*x^2 + c), x)

________________________________________________________________________________________

mupad [A]  time = 0.00, size = -1, normalized size = -0.01 \[ \int x^2\,\mathrm {erf}\left (a+b\,x\right )\,{\mathrm {e}}^{d\,x^2+c} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x^2*erf(a + b*x)*exp(c + d*x^2),x)

[Out]

int(x^2*erf(a + b*x)*exp(c + d*x^2), x)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(d*x**2+c)*x**2*erf(b*x+a),x)

[Out]

Timed out

________________________________________________________________________________________