3.7.44 \(\int (9378906250 x^9+e^{6+2 x^2} (7503125000 x^7+3751562500 x^9)+e^{3+x^2} (-16882031250 x^8-3751562500 x^{10})) \, dx\)

Optimal. Leaf size=18 \[ 937890625 x^8 \left (-e^{3+x^2}+x\right )^2 \]

________________________________________________________________________________________

Rubi [C]  time = 0.30, antiderivative size = 167, normalized size of antiderivative = 9.28, number of steps used = 18, number of rules used = 6, integrand size = 46, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.130, Rules used = {1593, 2226, 2212, 2209, 2218, 2204} \begin {gather*} -\frac {886306640625}{16} e^3 \sqrt {\pi } \text {erfi}(x)[phone] x^{10}[phone] e^{2 x^2+6} x^2+\frac {886306640625}{8} e^{x^2+3} x-\frac {2813671875}{2} e^{2 x^2+6}+\frac {937890625}{16} e^6 \Gamma \left (5,-2 x^2\right )+\frac {1875781250 e^3 x^{11} \Gamma \left (\frac {11}{2},-x^2\right )}{\left (-x^2\right )^{11/2}}-8441015625 e^{x^2+3} x^7+1875781250 e^{2 x^2+6} x^6+\frac {59087109375}{2} e^{x^2+3} x^5-2813671875 e^{2 x^2+6} x^4-\frac {295435546875}{4} e^{x^2+3} x^3 \end {gather*}

Antiderivative was successfully verified.

[In]

Int[9378906250*x^9 + E^(6 + 2*x^2)*(7503125000*x^7 + 3751562500*x^9) + E^(3 + x^2)*(-16882031250*x^8 - 3751562
500*x^10),x]

[Out]

(-2813671875*E^(6 + 2*x^2))/2 + (886306640625*E^(3 + x^2)*x)/8 + 2813671875*E^(6 + 2*x^2)*x^2 - (295435546875*
E^(3 + x^2)*x^3)/4 - 2813671875*E^(6 + 2*x^2)*x^4 + (59087109375*E^(3 + x^2)*x^5)/2 + 1875781250*E^(6 + 2*x^2)
*x^6 - 8441015625*E^(3 + x^2)*x^7 + 937890625*x^10 - (886306640625*E^3*Sqrt[Pi]*Erfi[x])/16 + (937890625*E^6*G
amma[5, -2*x^2])/16 + (1875781250*E^3*x^11*Gamma[11/2, -x^2])/(-x^2)^(11/2)

Rule 1593

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^(q - p))^n, x] /; F
reeQ[{a, b, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rule 2204

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^2), x_Symbol] :> Simp[(F^a*Sqrt[Pi]*Erfi[(c + d*x)*Rt[b*Log[F], 2
]])/(2*d*Rt[b*Log[F], 2]), x] /; FreeQ[{F, a, b, c, d}, x] && PosQ[b]

Rule 2209

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> Simp[((e + f*x)^n*
F^(a + b*(c + d*x)^n))/(b*f*n*(c + d*x)^n*Log[F]), x] /; FreeQ[{F, a, b, c, d, e, f, n}, x] && EqQ[m, n - 1] &
& EqQ[d*e - c*f, 0]

Rule 2212

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[((c + d*x)^(m
- n + 1)*F^(a + b*(c + d*x)^n))/(b*d*n*Log[F]), x] - Dist[(m - n + 1)/(b*n*Log[F]), Int[(c + d*x)^(m - n)*F^(
a + b*(c + d*x)^n), x], x] /; FreeQ[{F, a, b, c, d}, x] && IntegerQ[(2*(m + 1))/n] && LtQ[0, (m + 1)/n, 5] &&
IntegerQ[n] && (LtQ[0, n, m + 1] || LtQ[m, n, 0])

Rule 2218

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> -Simp[(F^a*(e + f*
x)^(m + 1)*Gamma[(m + 1)/n, -(b*(c + d*x)^n*Log[F])])/(f*n*(-(b*(c + d*x)^n*Log[F]))^((m + 1)/n)), x] /; FreeQ
[{F, a, b, c, d, e, f, m, n}, x] && EqQ[d*e - c*f, 0]

Rule 2226

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*(u_), x_Symbol] :> Int[ExpandLinearProduct[F^(a + b*(c + d*
x)^n), u, c, d, x], x] /; FreeQ[{F, a, b, c, d, n}, x] && PolynomialQ[u, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=937890625 x^{10}+\int e^{6+2 x^2} \left (7503125000 x^7+3751562500 x^9\right ) \, dx+\int e^{3+x^2} \left (-16882031250 x^8-3751562500 x^{10}\right ) \, dx\\ &=937890625 x^{10}+\int e^{3+x^2} x^8 \left (-16882031250-3751562500 x^2\right ) \, dx+\int e^{6+2 x^2} x^7 \left (7503125000+3751562500 x^2\right ) \, dx\\ &=937890625 x^{10}+\int \left (7503125000 e^{6+2 x^2} x^7+3751562500 e^{6+2 x^2} x^9\right ) \, dx+\int \left (-16882031250 e^{3+x^2} x^8-3751562500 e^{3+x^2} x^{10}\right ) \, dx\\ &=937890625 x^{10}[phone] \int e^{6+2 x^2} x^9 \, dx-3751562500 \int e^{3+x^2} x^{10} \, dx+7503125000 \int e^{6+2 x^2} x^7 \, dx-16882031250 \int e^{3+x^2} x^8 \, dx\\ &=1875781250 e^{6+2 x^2} x^6-8441015625 e^{3+x^2} x^7+937890625 x^{10}+\frac {937890625}{16} e^6 \Gamma \left (5,-2 x^2\right )+\frac {1875781250 e^3 x^{11} \Gamma \left (\frac {11}{2},-x^2\right )}{\left (-x^2\right )^{11/2}}-11254687500 \int e^{6+2 x^2} x^5 \, dx+59087109375 \int e^{3+x^2} x^6 \, dx\\ &=-2813671875 e^{6+2 x^2} x^4+\frac {59087109375}{2} e^{3+x^2} x^5+1875781250 e^{6+2 x^2} x^6-8441015625 e^{3+x^2} x^7+937890625 x^{10}+\frac {937890625}{16} e^6 \Gamma \left (5,-2 x^2\right )+\frac {1875781250 e^3 x^{11} \Gamma \left (\frac {11}{2},-x^2\right )}{\left (-x^2\right )^{11/2}}[phone] \int e^{6+2 x^2} x^3 \, dx-\frac {295435546875}{2} \int e^{3+x^2} x^4 \, dx\\ &=2813671875 e^{6+2 x^2} x^2-\frac {295435546875}{4} e^{3+x^2} x^3-2813671875 e^{6+2 x^2} x^4+\frac {59087109375}{2} e^{3+x^2} x^5+1875781250 e^{6+2 x^2} x^6-8441015625 e^{3+x^2} x^7+937890625 x^{10}+\frac {937890625}{16} e^6 \Gamma \left (5,-2 x^2\right )+\frac {1875781250 e^3 x^{11} \Gamma \left (\frac {11}{2},-x^2\right )}{\left (-x^2\right )^{11/2}}-5627343750 \int e^{6+2 x^2} x \, dx+\frac {886306640625}{4} \int e^{3+x^2} x^2 \, dx\\ &=-\frac {2813671875}{2} e^{6+2 x^2}+\frac {886306640625}{8} e^{3+x^2} x+2813671875 e^{6+2 x^2} x^2-\frac {295435546875}{4} e^{3+x^2} x^3-2813671875 e^{6+2 x^2} x^4+\frac {59087109375}{2} e^{3+x^2} x^5+1875781250 e^{6+2 x^2} x^6-8441015625 e^{3+x^2} x^7+937890625 x^{10}+\frac {937890625}{16} e^6 \Gamma \left (5,-2 x^2\right )+\frac {1875781250 e^3 x^{11} \Gamma \left (\frac {11}{2},-x^2\right )}{\left (-x^2\right )^{11/2}}-\frac {886306640625}{8} \int e^{3+x^2} \, dx\\ &=-\frac {2813671875}{2} e^{6+2 x^2}+\frac {886306640625}{8} e^{3+x^2} x+2813671875 e^{6+2 x^2} x^2-\frac {295435546875}{4} e^{3+x^2} x^3-2813671875 e^{6+2 x^2} x^4+\frac {59087109375}{2} e^{3+x^2} x^5+1875781250 e^{6+2 x^2} x^6-8441015625 e^{3+x^2} x^7+937890625 x^{10}-\frac {886306640625}{16} e^3 \sqrt {\pi } \text {erfi}(x)+\frac {937890625}{16} e^6 \Gamma \left (5,-2 x^2\right )+\frac {1875781250 e^3 x^{11} \Gamma \left (\frac {11}{2},-x^2\right )}{\left (-x^2\right )^{11/2}}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [C]  time = 0.17, size = 120, normalized size = 6.67 \begin {gather*} \frac {937890625 \left (2 x \left (8 x^{10}+4 e^{6+2 x^2} \left (-3+6 x^2-6 x^4+4 x^6\right )-9 e^{3+x^2} x \left (-105+70 x^2-28 x^4+8 x^6\right )\right )-945 e^3 \sqrt {\pi } x \text {erfi}(x)+e^6 x \Gamma \left (5,-2 x^2\right )+32 e^3 \sqrt {-x^2} \Gamma \left (\frac {11}{2},-x^2\right )\right )}{16 x} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[9378906250*x^9 + E^(6 + 2*x^2)*(7503125000*x^7 + 3751562500*x^9) + E^(3 + x^2)*(-16882031250*x^8 - 3
751562500*x^10),x]

[Out]

(937890625*(2*x*(8*x^10 + 4*E^(6 + 2*x^2)*(-3 + 6*x^2 - 6*x^4 + 4*x^6) - 9*E^(3 + x^2)*x*(-105 + 70*x^2 - 28*x
^4 + 8*x^6)) - 945*E^3*Sqrt[Pi]*x*Erfi[x] + E^6*x*Gamma[5, -2*x^2] + 32*E^3*Sqrt[-x^2]*Gamma[11/2, -x^2]))/(16
*x)

________________________________________________________________________________________

fricas [A]  time = 0.59, size = 30, normalized size = 1.67 \begin {gather*} 937890625 \, x^{10} - 1875781250 \, x^{9} e^{\left (x^{2} + 3\right )} + 937890625 \, x^{8} e^{\left (2 \, x^{2} + 6\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3751562500*x^9+7503125000*x^7)*exp(3)^2*exp(x^2)^2+(-3751562500*x^10-16882031250*x^8)*exp(3)*exp(x^
2)[phone]*x^9,x, algorithm="fricas")

[Out]

937890625*x^10 - 1875781250*x^9*e^(x^2 + 3) + 937890625*x^8*e^(2*x^2 + 6)

________________________________________________________________________________________

giac [B]  time = 0.34, size = 69, normalized size = 3.83 \begin {gather*} 937890625 \, x^{10} - 1875781250 \, x^{9} e^{\left (x^{2} + 3\right )} + 937890625 \, {\left ({\left (x^{2} + 3\right )}^{4} - 12 \, {\left (x^{2} + 3\right )}^{3} + 54 \, {\left (x^{2} + 3\right )}^{2} - 108 \, x^{2} - 270\right )} e^{\left (2 \, x^{2} + 6\right )} + 25323046875 \, e^{\left (2 \, x^{2} + 6\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3751562500*x^9+7503125000*x^7)*exp(3)^2*exp(x^2)^2+(-3751562500*x^10-16882031250*x^8)*exp(3)*exp(x^
2)[phone]*x^9,x, algorithm="giac")

[Out]

937890625*x^10 - 1875781250*x^9*e^(x^2 + 3) + 937890625*((x^2 + 3)^4 - 12*(x^2 + 3)^3 + 54*(x^2 + 3)^2 - 108*x
^2 - 270)*e^(2*x^2 + 6) + 25323046875*e^(2*x^2 + 6)

________________________________________________________________________________________

maple [A]  time = 0.08, size = 31, normalized size = 1.72

method	result	size
risch	\(937890625 x^{8} {\mathrm e}^{2 x^{2}+6}-1875781250 x^{9} {\mathrm e}^{x^{2}+3}[phone] x^{10}\)	\(31\)
default	\(937890625 \,{\mathrm e}^{6} {\mathrm e}^{2 x^{2}} x^{8}-1875781250 \,{\mathrm e}^{3} {\mathrm e}^{x^{2}} x^{9}[phone] x^{10}\)	\(33\)
norman	\(937890625 \,{\mathrm e}^{6} {\mathrm e}^{2 x^{2}} x^{8}-1875781250 \,{\mathrm e}^{3} {\mathrm e}^{x^{2}} x^{9}[phone] x^{10}\)	\(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((3751562500*x^9+7503125000*x^7)*exp(3)^2*exp(x^2)^2+(-3751562500*x^10-16882031250*x^8)*exp(3)*exp(x^2)+937
8906250*x^9,x,method=_RETURNVERBOSE)

[Out]

937890625*x^8*exp(2*x^2+6)-1875781250*x^9*exp(x^2+3)[phone]*x^10

________________________________________________________________________________________

maxima [B]  time = 0.41, size = 92, normalized size = 5.11 \begin {gather*} 937890625 \, x^{10} + 937890625 \, x^{8} e^{\left (2 \, x^{2} + 6\right )} - \frac {937890625}{8} \, {\left (16 \, x^{9} e^{3} - 72 \, x^{7} e^{3} + 252 \, x^{5} e^{3} - 630 \, x^{3} e^{3} + 945 \, x e^{3}\right )} e^{\left (x^{2}\right )} - \frac {8441015625}{8} \, {\left (8 \, x^{7} e^{3} - 28 \, x^{5} e^{3} + 70 \, x^{3} e^{3} - 105 \, x e^{3}\right )} e^{\left (x^{2}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3751562500*x^9+7503125000*x^7)*exp(3)^2*exp(x^2)^2+(-3751562500*x^10-16882031250*x^8)*exp(3)*exp(x^
2)[phone]*x^9,x, algorithm="maxima")

[Out]

937890625*x^10 + 937890625*x^8*e^(2*x^2 + 6) - 937890625/8*(16*x^9*e^3 - 72*x^7*e^3 + 252*x^5*e^3 - 630*x^3*e^
3 + 945*x*e^3)*e^(x^2) - 8441015625/8*(8*x^7*e^3 - 28*x^5*e^3 + 70*x^3*e^3 - 105*x*e^3)*e^(x^2)

________________________________________________________________________________________

mupad [B]  time = 0.09, size = 17, normalized size = 0.94 \begin {gather*} 937890625\,x^8\,{\left (x-{\mathrm {e}}^{x^2+3}\right )}^2 \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(9378906250*x^9 - exp(x^2)*exp(3)*(16882031250*x^8 + 3751562500*x^10) + exp(6)*exp(2*x^2)*(7503125000*x^7 +
3751562500*x^9),x)

[Out]

937890625*x^8*(x - exp(x^2 + 3))^2

________________________________________________________________________________________

sympy [B]  time = 0.14, size = 32, normalized size = 1.78 \begin {gather*} 937890625 x^{10} - 1875781250 x^{9} e^{3} e^{x^{2}} + 937890625 x^{8} e^{6} e^{2 x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3751562500*x**9+7503125000*x**7)*exp(3)**2*exp(x**2)**2+(-3751562500*x**10-16882031250*x**8)*exp(3)
*exp(x**2)[phone]*x**9,x)

[Out]

937890625*x**10 - 1875781250*x**9*exp(3)*exp(x**2) + 937890625*x**8*exp(6)*exp(2*x**2)

________________________________________________________________________________________