3.17.80 432288x81x3+3e12x381x427x53x6+e8(27x39x4)+e4(144+81x3+54x4+9x5)27x3+e12x327x49x5x6+e8(9x33x4)+e4(27x3+18x4+3x5)dx

Optimal. Leaf size=22 3x8(x+13x(e4+x))2

________________________________________________________________________________________

Rubi [B]  time = 0.18, antiderivative size = 74, normalized size of antiderivative = 3.36, number of steps used = 4, number of rules used = 2, integrand size = 135, number of rulesintegrand size = 0.015, Rules used = {6, 2074} 72(3e4)2x2+3x144(3e4)3(xe4+3)72(3e4)2(xe4+3)2+144(3e4)3x

Antiderivative was successfully verified.

[In]

Int[(-432 - 288*x - 81*x^3 + 3*E^12*x^3 - 81*x^4 - 27*x^5 - 3*x^6 + E^8*(-27*x^3 - 9*x^4) + E^4*(144 + 81*x^3
+ 54*x^4 + 9*x^5))/(-27*x^3 + E^12*x^3 - 27*x^4 - 9*x^5 - x^6 + E^8*(-9*x^3 - 3*x^4) + E^4*(27*x^3 + 18*x^4 +
3*x^5)),x]

[Out]

-72/((3 - E^4)^2*x^2) + 144/((3 - E^4)^3*x) + 3*x - 72/((3 - E^4)^2*(3 - E^4 + x)^2) - 144/((3 - E^4)^3*(3 - E
^4 + x))

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 2074

Int[(P_)^(p_)*(Q_)^(q_.), x_Symbol] :> With[{PP = Factor[P]}, Int[ExpandIntegrand[PP^p*Q^q, x], x] /;  !SumQ[N
onfreeFactors[PP, x]]] /; FreeQ[q, x] && PolyQ[P, x] && PolyQ[Q, x] && IntegerQ[p] && NeQ[P, x]

Rubi steps

integral=432288x81x3+3e12x381x427x53x6+e8(27x39x4)+e4(144+81x3+54x4+9x5)(27+e12)x327x49x5x6+e8(9x33x4)+e4(27x3+18x4+3x5)dx=432288x+(81+3e12)x381x427x53x6+e8(27x39x4)+e4(144+81x3+54x4+9x5)(27+e12)x327x49x5x6+e8(9x33x4)+e4(27x3+18x4+3x5)dx=(3144(3+e4)2(3+e4x)3144(3+e4)3(3+e4x)2+144(3+e4)2x3+144(3+e4)3x2)dx=72(3e4)2x2+144(3e4)3x+3x72(3e4)2(3e4+x)2144(3e4)3(3e4+x)

________________________________________________________________________________________

Mathematica [A]  time = 0.04, size = 41, normalized size = 1.86 3(24+(3+e4)2x32(3+e4)x4+x5)x2(3e4+x)2

Antiderivative was successfully verified.

[In]

Integrate[(-432 - 288*x - 81*x^3 + 3*E^12*x^3 - 81*x^4 - 27*x^5 - 3*x^6 + E^8*(-27*x^3 - 9*x^4) + E^4*(144 + 8
1*x^3 + 54*x^4 + 9*x^5))/(-27*x^3 + E^12*x^3 - 27*x^4 - 9*x^5 - x^6 + E^8*(-9*x^3 - 3*x^4) + E^4*(27*x^3 + 18*
x^4 + 3*x^5)),x]

[Out]

(3*(-24 + (-3 + E^4)^2*x^3 - 2*(-3 + E^4)*x^4 + x^5))/(x^2*(3 - E^4 + x)^2)

________________________________________________________________________________________

fricas [B]  time = 0.67, size = 71, normalized size = 3.23 3(x5+6x4+x3e8+9x32(x4+3x3)e424)x4+6x3+x2e8+9x22(x3+3x2)e4

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*x^3*exp(4)^3+(-9*x^4-27*x^3)*exp(4)^2+(9*x^5+54*x^4+81*x^3+144)*exp(4)-3*x^6-27*x^5-81*x^4-81*x^3
-288*x-432)/(x^3*exp(4)^3+(-3*x^4-9*x^3)*exp(4)^2+(3*x^5+18*x^4+27*x^3)*exp(4)-x^6-9*x^5-27*x^4-27*x^3),x, alg
orithm="fricas")

[Out]

3*(x^5 + 6*x^4 + x^3*e^8 + 9*x^3 - 2*(x^4 + 3*x^3)*e^4 - 24)/(x^4 + 6*x^3 + x^2*e^8 + 9*x^2 - 2*(x^3 + 3*x^2)*
e^4)

________________________________________________________________________________________

giac [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 Timed out

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*x^3*exp(4)^3+(-9*x^4-27*x^3)*exp(4)^2+(9*x^5+54*x^4+81*x^3+144)*exp(4)-3*x^6-27*x^5-81*x^4-81*x^3
-288*x-432)/(x^3*exp(4)^3+(-3*x^4-9*x^3)*exp(4)^2+(3*x^5+18*x^4+27*x^3)*exp(4)-x^6-9*x^5-27*x^4-27*x^3),x, alg
orithm="giac")

[Out]

Timed out

________________________________________________________________________________________

maple [A]  time = 0.17, size = 31, normalized size = 1.41




method result size



risch 3x72x2(e82xe4+x26e4+6x+9) 31
norman 72+(9e8+54e481)x3+(6e1254e8+162e4162)x2+3x5x2(e4x3)2 59
gosper 6x2e129x3e8+3x554x2e8+54x3e4+162x2e481x3162x272x2(e82xe4+x26e4+6x+9) 85
default 3x48(_R=RootOf(_Z3+(3e4+9)_Z2+(18e4+3e8+27)_Z27e4+9e8e12+27)(43741458_Re4+135_Re16+1215_Re8540_Re12+_Re2418_Re2010206e4+1890e16+10206e85670e12+42e24378e202e28+729_R)ln(x_R)9+e82_Re4+_R26e4+6_R)(27e4+e129e827)33(6480e16+48e24864e2069984e4+58320e825920e12+34992)(27e4+e129e827)3x3(45360e161008e24+9072e20+48e28+244944e4244944e8+136080e12104976)2(27e4+e129e827)3x2 248



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((3*x^3*exp(4)^3+(-9*x^4-27*x^3)*exp(4)^2+(9*x^5+54*x^4+81*x^3+144)*exp(4)-3*x^6-27*x^5-81*x^4-81*x^3-288*x
-432)/(x^3*exp(4)^3+(-3*x^4-9*x^3)*exp(4)^2+(3*x^5+18*x^4+27*x^3)*exp(4)-x^6-9*x^5-27*x^4-27*x^3),x,method=_RE
TURNVERBOSE)

[Out]

3*x-72/x^2/(exp(8)-2*x*exp(4)+x^2-6*exp(4)+6*x+9)

________________________________________________________________________________________

maxima [A]  time = 0.40, size = 33, normalized size = 1.50 3x72x42x3(e43)+x2(e86e4+9)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*x^3*exp(4)^3+(-9*x^4-27*x^3)*exp(4)^2+(9*x^5+54*x^4+81*x^3+144)*exp(4)-3*x^6-27*x^5-81*x^4-81*x^3
-288*x-432)/(x^3*exp(4)^3+(-3*x^4-9*x^3)*exp(4)^2+(3*x^5+18*x^4+27*x^3)*exp(4)-x^6-9*x^5-27*x^4-27*x^3),x, alg
orithm="maxima")

[Out]

3*x - 72/(x^4 - 2*x^3*(e^4 - 3) + x^2*(e^8 - 6*e^4 + 9))

________________________________________________________________________________________

mupad [B]  time = 0.18, size = 42, normalized size = 1.91 3x(18e43e8+3(e43)227)x3+72x2(xe4+3)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((288*x + exp(8)*(27*x^3 + 9*x^4) - 3*x^3*exp(12) - exp(4)*(81*x^3 + 54*x^4 + 9*x^5 + 144) + 81*x^3 + 81*x^
4 + 27*x^5 + 3*x^6 + 432)/(exp(8)*(9*x^3 + 3*x^4) - x^3*exp(12) - exp(4)*(27*x^3 + 18*x^4 + 3*x^5) + 27*x^3 +
27*x^4 + 9*x^5 + x^6),x)

[Out]

3*x - (x^3*(18*exp(4) - 3*exp(8) + 3*(exp(4) - 3)^2 - 27) + 72)/(x^2*(x - exp(4) + 3)^2)

________________________________________________________________________________________

sympy [A]  time = 0.84, size = 31, normalized size = 1.41 3x72x4+x3(62e4)+x2(6e4+9+e8)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*x**3*exp(4)**3+(-9*x**4-27*x**3)*exp(4)**2+(9*x**5+54*x**4+81*x**3+144)*exp(4)-3*x**6-27*x**5-81*
x**4-81*x**3-288*x-432)/(x**3*exp(4)**3+(-3*x**4-9*x**3)*exp(4)**2+(3*x**5+18*x**4+27*x**3)*exp(4)-x**6-9*x**5
-27*x**4-27*x**3),x)

[Out]

3*x - 72/(x**4 + x**3*(6 - 2*exp(4)) + x**2*(-6*exp(4) + 9 + exp(8)))

________________________________________________________________________________________