3.69.73 \(\int \frac {18-36 x+e^{x^2} (-18-36 x^2)}{-729-243 x+216 x^2+53 x^3+e^{3 x^2} x^3-24 x^4-3 x^5+x^6+(-243-54 x+51 x^2+6 x^3-3 x^4) \log (4)+(-27-3 x+3 x^2) \log ^2(4)-\log ^3(4)+e^{2 x^2} (-27 x^2-3 x^3+3 x^4-3 x^2 \log (4))+e^{x^2} (243 x+54 x^2-51 x^3-6 x^4+3 x^5+(54 x+6 x^2-6 x^3) \log (4)+3 x \log ^2(4))} \, dx\)

Optimal. Leaf size=27 \[ \frac {9}{x^2 \left (-e^{x^2}-x+\frac {9+x+\log (4)}{x}\right )^2} \]

________________________________________________________________________________________

Rubi [A]  time = 0.45, antiderivative size = 24, normalized size of antiderivative = 0.89, number of steps used = 3, number of rules used = 3, integrand size = 189, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.016, Rules used = {6688, 12, 6686} \begin {gather*} \frac {9}{\left (-x^2+\left (1-e^{x^2}\right ) x+9+\log (4)\right )^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(18 - 36*x + E^x^2*(-18 - 36*x^2))/(-729 - 243*x + 216*x^2 + 53*x^3 + E^(3*x^2)*x^3 - 24*x^4 - 3*x^5 + x^6
+ (-243 - 54*x + 51*x^2 + 6*x^3 - 3*x^4)*Log[4] + (-27 - 3*x + 3*x^2)*Log[4]^2 - Log[4]^3 + E^(2*x^2)*(-27*x^
2 - 3*x^3 + 3*x^4 - 3*x^2*Log[4]) + E^x^2*(243*x + 54*x^2 - 51*x^3 - 6*x^4 + 3*x^5 + (54*x + 6*x^2 - 6*x^3)*Lo
g[4] + 3*x*Log[4]^2)),x]

[Out]

9/(9 + (1 - E^x^2)*x - x^2 + Log[4])^2

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 6686

Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[(q*y^(m + 1))/(m + 1), x] /;  !F
alseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]

Rule 6688

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {18 \left (1-2 x-e^{x^2} \left (1+2 x^2\right )\right )}{\left (\left (-1+e^{x^2}\right ) x+x^2-9 \left (1+\frac {2 \log (2)}{9}\right )\right )^3} \, dx\\ &=18 \int \frac {1-2 x-e^{x^2} \left (1+2 x^2\right )}{\left (\left (-1+e^{x^2}\right ) x+x^2-9 \left (1+\frac {2 \log (2)}{9}\right )\right )^3} \, dx\\ &=\frac {9}{\left (9+\left (1-e^{x^2}\right ) x-x^2+\log (4)\right )^2}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.04, size = 22, normalized size = 0.81 \begin {gather*} \frac {9}{\left (-9+\left (-1+e^{x^2}\right ) x+x^2-\log (4)\right )^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(18 - 36*x + E^x^2*(-18 - 36*x^2))/(-729 - 243*x + 216*x^2 + 53*x^3 + E^(3*x^2)*x^3 - 24*x^4 - 3*x^5
+ x^6 + (-243 - 54*x + 51*x^2 + 6*x^3 - 3*x^4)*Log[4] + (-27 - 3*x + 3*x^2)*Log[4]^2 - Log[4]^3 + E^(2*x^2)*(
-27*x^2 - 3*x^3 + 3*x^4 - 3*x^2*Log[4]) + E^x^2*(243*x + 54*x^2 - 51*x^3 - 6*x^4 + 3*x^5 + (54*x + 6*x^2 - 6*x
^3)*Log[4] + 3*x*Log[4]^2)),x]

[Out]

9/(-9 + (-1 + E^x^2)*x + x^2 - Log[4])^2

________________________________________________________________________________________

fricas [B]  time = 1.21, size = 73, normalized size = 2.70 \begin {gather*} \frac {9}{x^{4} - 2 \, x^{3} + x^{2} e^{\left (2 \, x^{2}\right )} - 17 \, x^{2} + 2 \, {\left (x^{3} - x^{2} - 2 \, x \log \relax (2) - 9 \, x\right )} e^{\left (x^{2}\right )} - 4 \, {\left (x^{2} - x - 9\right )} \log \relax (2) + 4 \, \log \relax (2)^{2} + 18 \, x + 81} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-36*x^2-18)*exp(x^2)-36*x+18)/(x^3*exp(x^2)^3+(-6*x^2*log(2)+3*x^4-3*x^3-27*x^2)*exp(x^2)^2+(12*x*
log(2)^2+2*(-6*x^3+6*x^2+54*x)*log(2)+3*x^5-6*x^4-51*x^3+54*x^2+243*x)*exp(x^2)-8*log(2)^3+4*(3*x^2-3*x-27)*lo
g(2)^2+2*(-3*x^4+6*x^3+51*x^2-54*x-243)*log(2)+x^6-3*x^5-24*x^4+53*x^3+216*x^2-243*x-729),x, algorithm="fricas
")

[Out]

9/(x^4 - 2*x^3 + x^2*e^(2*x^2) - 17*x^2 + 2*(x^3 - x^2 - 2*x*log(2) - 9*x)*e^(x^2) - 4*(x^2 - x - 9)*log(2) +
4*log(2)^2 + 18*x + 81)

________________________________________________________________________________________

giac [B]  time = 0.57, size = 88, normalized size = 3.26 \begin {gather*} \frac {9}{x^{4} + 2 \, x^{3} e^{\left (x^{2}\right )} - 2 \, x^{3} + x^{2} e^{\left (2 \, x^{2}\right )} - 2 \, x^{2} e^{\left (x^{2}\right )} - 4 \, x^{2} \log \relax (2) - 4 \, x e^{\left (x^{2}\right )} \log \relax (2) - 17 \, x^{2} - 18 \, x e^{\left (x^{2}\right )} + 4 \, x \log \relax (2) + 4 \, \log \relax (2)^{2} + 18 \, x + 36 \, \log \relax (2) + 81} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-36*x^2-18)*exp(x^2)-36*x+18)/(x^3*exp(x^2)^3+(-6*x^2*log(2)+3*x^4-3*x^3-27*x^2)*exp(x^2)^2+(12*x*
log(2)^2+2*(-6*x^3+6*x^2+54*x)*log(2)+3*x^5-6*x^4-51*x^3+54*x^2+243*x)*exp(x^2)-8*log(2)^3+4*(3*x^2-3*x-27)*lo
g(2)^2+2*(-3*x^4+6*x^3+51*x^2-54*x-243)*log(2)+x^6-3*x^5-24*x^4+53*x^3+216*x^2-243*x-729),x, algorithm="giac")

[Out]

9/(x^4 + 2*x^3*e^(x^2) - 2*x^3 + x^2*e^(2*x^2) - 2*x^2*e^(x^2) - 4*x^2*log(2) - 4*x*e^(x^2)*log(2) - 17*x^2 -
18*x*e^(x^2) + 4*x*log(2) + 4*log(2)^2 + 18*x + 36*log(2) + 81)

________________________________________________________________________________________

maple [A]  time = 0.78, size = 24, normalized size = 0.89

method	result	size
norman	\(\frac {9}{\left (-{\mathrm e}^{x^{2}} x -x^{2}+2 \ln \relax (2)+x +9\right )^{2}}\)	\(24\)
risch	\(\frac {9}{\left (-{\mathrm e}^{x^{2}} x -x^{2}+2 \ln \relax (2)+x +9\right )^{2}}\)	\(24\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-36*x^2-18)*exp(x^2)-36*x+18)/(x^3*exp(x^2)^3+(-6*x^2*ln(2)+3*x^4-3*x^3-27*x^2)*exp(x^2)^2+(12*x*ln(2)^2
+2*(-6*x^3+6*x^2+54*x)*ln(2)+3*x^5-6*x^4-51*x^3+54*x^2+243*x)*exp(x^2)-8*ln(2)^3+4*(3*x^2-3*x-27)*ln(2)^2+2*(-
3*x^4+6*x^3+51*x^2-54*x-243)*ln(2)+x^6-3*x^5-24*x^4+53*x^3+216*x^2-243*x-729),x,method=_RETURNVERBOSE)

[Out]

9/(-exp(x^2)*x-x^2+2*ln(2)+x+9)^2

________________________________________________________________________________________

maxima [B]  time = 0.54, size = 78, normalized size = 2.89 \begin {gather*} \frac {9}{x^{4} - 2 \, x^{3} - x^{2} {\left (4 \, \log \relax (2) + 17\right )} + x^{2} e^{\left (2 \, x^{2}\right )} + 2 \, x {\left (2 \, \log \relax (2) + 9\right )} + 2 \, {\left (x^{3} - x^{2} - x {\left (2 \, \log \relax (2) + 9\right )}\right )} e^{\left (x^{2}\right )} + 4 \, \log \relax (2)^{2} + 36 \, \log \relax (2) + 81} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-36*x^2-18)*exp(x^2)-36*x+18)/(x^3*exp(x^2)^3+(-6*x^2*log(2)+3*x^4-3*x^3-27*x^2)*exp(x^2)^2+(12*x*
log(2)^2+2*(-6*x^3+6*x^2+54*x)*log(2)+3*x^5-6*x^4-51*x^3+54*x^2+243*x)*exp(x^2)-8*log(2)^3+4*(3*x^2-3*x-27)*lo
g(2)^2+2*(-3*x^4+6*x^3+51*x^2-54*x-243)*log(2)+x^6-3*x^5-24*x^4+53*x^3+216*x^2-243*x-729),x, algorithm="maxima
")

[Out]

9/(x^4 - 2*x^3 - x^2*(4*log(2) + 17) + x^2*e^(2*x^2) + 2*x*(2*log(2) + 9) + 2*(x^3 - x^2 - x*(2*log(2) + 9))*e
^(x^2) + 4*log(2)^2 + 36*log(2) + 81)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.04 \begin {gather*} \int \frac {36\,x+{\mathrm {e}}^{x^2}\,\left (36\,x^2+18\right )-18}{243\,x+4\,{\ln \relax (2)}^2\,\left (-3\,x^2+3\,x+27\right )+{\mathrm {e}}^{2\,x^2}\,\left (6\,x^2\,\ln \relax (2)+27\,x^2+3\,x^3-3\,x^4\right )+2\,\ln \relax (2)\,\left (3\,x^4-6\,x^3-51\,x^2+54\,x+243\right )-{\mathrm {e}}^{x^2}\,\left (243\,x+2\,\ln \relax (2)\,\left (-6\,x^3+6\,x^2+54\,x\right )+12\,x\,{\ln \relax (2)}^2+54\,x^2-51\,x^3-6\,x^4+3\,x^5\right )+8\,{\ln \relax (2)}^3-x^3\,{\mathrm {e}}^{3\,x^2}-216\,x^2-53\,x^3+24\,x^4+3\,x^5-x^6+729} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((36*x + exp(x^2)*(36*x^2 + 18) - 18)/(243*x + 4*log(2)^2*(3*x - 3*x^2 + 27) + exp(2*x^2)*(6*x^2*log(2) + 2
7*x^2 + 3*x^3 - 3*x^4) + 2*log(2)*(54*x - 51*x^2 - 6*x^3 + 3*x^4 + 243) - exp(x^2)*(243*x + 2*log(2)*(54*x + 6
*x^2 - 6*x^3) + 12*x*log(2)^2 + 54*x^2 - 51*x^3 - 6*x^4 + 3*x^5) + 8*log(2)^3 - x^3*exp(3*x^2) - 216*x^2 - 53*
x^3 + 24*x^4 + 3*x^5 - x^6 + 729),x)

[Out]

int((36*x + exp(x^2)*(36*x^2 + 18) - 18)/(243*x + 4*log(2)^2*(3*x - 3*x^2 + 27) + exp(2*x^2)*(6*x^2*log(2) + 2
7*x^2 + 3*x^3 - 3*x^4) + 2*log(2)*(54*x - 51*x^2 - 6*x^3 + 3*x^4 + 243) - exp(x^2)*(243*x + 2*log(2)*(54*x + 6
*x^2 - 6*x^3) + 12*x*log(2)^2 + 54*x^2 - 51*x^3 - 6*x^4 + 3*x^5) + 8*log(2)^3 - x^3*exp(3*x^2) - 216*x^2 - 53*
x^3 + 24*x^4 + 3*x^5 - x^6 + 729), x)

________________________________________________________________________________________

sympy [B]  time = 0.36, size = 82, normalized size = 3.04 \begin {gather*} \frac {9}{x^{4} - 2 x^{3} + x^{2} e^{2 x^{2}} - 17 x^{2} - 4 x^{2} \log {\relax (2 )} + 4 x \log {\relax (2 )} + 18 x + \left (2 x^{3} - 2 x^{2} - 18 x - 4 x \log {\relax (2 )}\right ) e^{x^{2}} + 4 \log {\relax (2 )}^{2} + 36 \log {\relax (2 )} + 81} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-36*x**2-18)*exp(x**2)-36*x+18)/(x**3*exp(x**2)**3+(-6*x**2*ln(2)+3*x**4-3*x**3-27*x**2)*exp(x**2)
**2+(12*x*ln(2)**2+2*(-6*x**3+6*x**2+54*x)*ln(2)+3*x**5-6*x**4-51*x**3+54*x**2+243*x)*exp(x**2)-8*ln(2)**3+4*(
3*x**2-3*x-27)*ln(2)**2+2*(-3*x**4+6*x**3+51*x**2-54*x-243)*ln(2)+x**6-3*x**5-24*x**4+53*x**3+216*x**2-243*x-7
29),x)

[Out]

9/(x**4 - 2*x**3 + x**2*exp(2*x**2) - 17*x**2 - 4*x**2*log(2) + 4*x*log(2) + 18*x + (2*x**3 - 2*x**2 - 18*x -
4*x*log(2))*exp(x**2) + 4*log(2)**2 + 36*log(2) + 81)

________________________________________________________________________________________