3.73.96 11+ex2(1+4x2)11x10648x2264e2x2x2+8e3x2x2+ex2(x+2904x2)dx

Optimal. Leaf size=24 1+log(18(11+ex2)2xx)

________________________________________________________________________________________

Rubi [F]  time = 2.49, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, number of rulesintegrand size = 0.000, Rules used = {} 11+ex2(1+4x2)11x10648x2264e2x2x2+8e3x2x2+ex2(x+2904x2)dx

Verification is not applicable to the result.

[In]

Int[(-11 + E^x^2*(1 + 4*x^2))/(11*x - 10648*x^2 - 264*E^(2*x^2)*x^2 + 8*E^(3*x^2)*x^2 + E^x^2*(-x + 2904*x^2))
,x]

[Out]

2*x^2 - 2*Log[11 - E^x^2] + Defer[Int][1/(x*(-1 + 8*(-11 + E^x^2)^2*x)), x] + 4*Defer[Int][x/(-1 + 8*(-11 + E^
x^2)^2*x), x] - 3872*Defer[Int][x^2/(-1 + 8*(-11 + E^x^2)^2*x), x] + 352*Defer[Int][(E^x^2*x^2)/(-1 + 8*(-11 +
 E^x^2)^2*x), x]

Rubi steps

integral=11+ex2(1+4x2)(11ex2)x(18(11+ex2)2x)dx=(44x11+ex2+1+4x23872x3+352ex2x3x(1+968x176ex2x+8e2x2x))dx=(44x11+ex2dx)+1+4x23872x3+352ex2x3x(1+968x176ex2x+8e2x2x)dx=(22Subst(111+exdx,x,x2))+(1x(1+968x176ex2x+8e2x2x)+4x1+968x176ex2x+8e2x2x3872x21+968x176ex2x+8e2x2x+352ex2x21+968x176ex2x+8e2x2x)dx=4x1+968x176ex2x+8e2x2xdx22Subst(1(11+x)xdx,x,ex2)+352ex2x21+968x176ex2x+8e2x2xdx3872x21+968x176ex2x+8e2x2xdx+1x(1+968x176ex2x+8e2x2x)dx=(2Subst(111+xdx,x,ex2))+2Subst(1xdx,x,ex2)+4x1+8(11+ex2)2xdx+352ex2x21+8(11+ex2)2xdx3872x21+8(11+ex2)2xdx+1x(1+8(11+ex2)2x)dx=2x22log(11ex2)+4x1+8(11+ex2)2xdx+352ex2x21+8(11+ex2)2xdx3872x21+8(11+ex2)2xdx+1x(1+8(11+ex2)2x)dx

________________________________________________________________________________________

Mathematica [A]  time = 0.31, size = 41, normalized size = 1.71 2log(11ex2)log(x)+log(1968x+176ex2x8e2x2x)

Antiderivative was successfully verified.

[In]

Integrate[(-11 + E^x^2*(1 + 4*x^2))/(11*x - 10648*x^2 - 264*E^(2*x^2)*x^2 + 8*E^(3*x^2)*x^2 + E^x^2*(-x + 2904
*x^2)),x]

[Out]

-2*Log[11 - E^x^2] - Log[x] + Log[1 - 968*x + 176*E^x^2*x - 8*E^(2*x^2)*x]

________________________________________________________________________________________

fricas [A]  time = 0.90, size = 36, normalized size = 1.50 log(8xe(2x2)176xe(x2)+968x1x)2log(e(x2)11)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((4*x^2+1)*exp(x^2)-11)/(8*x^2*exp(x^2)^3-264*x^2*exp(x^2)^2+(2904*x^2-x)*exp(x^2)-10648*x^2+11*x),x
, algorithm="fricas")

[Out]

log((8*x*e^(2*x^2) - 176*x*e^(x^2) + 968*x - 1)/x) - 2*log(e^(x^2) - 11)

________________________________________________________________________________________

giac [A]  time = 0.21, size = 36, normalized size = 1.50 log(8xe(2x2)176xe(x2)+968x1)log(x)2log(e(x2)11)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((4*x^2+1)*exp(x^2)-11)/(8*x^2*exp(x^2)^3-264*x^2*exp(x^2)^2+(2904*x^2-x)*exp(x^2)-10648*x^2+11*x),x
, algorithm="giac")

[Out]

log(8*x*e^(2*x^2) - 176*x*e^(x^2) + 968*x - 1) - log(x) - 2*log(e^(x^2) - 11)

________________________________________________________________________________________

maple [A]  time = 0.06, size = 35, normalized size = 1.46




method result size



risch ln(e2x222ex2+968x18x)2ln(ex211) 35
norman ln(x)2ln(ex211)+ln(8xe2x2176ex2x+968x1) 37



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((4*x^2+1)*exp(x^2)-11)/(8*x^2*exp(x^2)^3-264*x^2*exp(x^2)^2+(2904*x^2-x)*exp(x^2)-10648*x^2+11*x),x,metho
d=_RETURNVERBOSE)

[Out]

ln(exp(2*x^2)-22*exp(x^2)+1/8*(968*x-1)/x)-2*ln(exp(x^2)-11)

________________________________________________________________________________________

maxima [A]  time = 0.41, size = 37, normalized size = 1.54 log(8xe(2x2)176xe(x2)+968x18x)2log(e(x2)11)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((4*x^2+1)*exp(x^2)-11)/(8*x^2*exp(x^2)^3-264*x^2*exp(x^2)^2+(2904*x^2-x)*exp(x^2)-10648*x^2+11*x),x
, algorithm="maxima")

[Out]

log(1/8*(8*x*e^(2*x^2) - 176*x*e^(x^2) + 968*x - 1)/x) - 2*log(e^(x^2) - 11)

________________________________________________________________________________________

mupad [B]  time = 4.54, size = 36, normalized size = 1.50 ln(968x176xex2+8xe2x21)2ln(ex211)ln(x)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(x^2)*(4*x^2 + 1) - 11)/(exp(x^2)*(x - 2904*x^2) - 11*x + 264*x^2*exp(2*x^2) - 8*x^2*exp(3*x^2) + 106
48*x^2),x)

[Out]

log(968*x - 176*x*exp(x^2) + 8*x*exp(2*x^2) - 1) - 2*log(exp(x^2) - 11) - log(x)

________________________________________________________________________________________

sympy [A]  time = 0.36, size = 32, normalized size = 1.33 2log(ex211)+log(e2x222ex2+968x18x)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((4*x**2+1)*exp(x**2)-11)/(8*x**2*exp(x**2)**3-264*x**2*exp(x**2)**2+(2904*x**2-x)*exp(x**2)-10648*x
**2+11*x),x)

[Out]

-2*log(exp(x**2) - 11) + log(exp(2*x**2) - 22*exp(x**2) + (968*x - 1)/(8*x))

________________________________________________________________________________________