3.49.68 648+474x60x2+2x3+(28872x+4x2)log(13(12+x))+(24+2x)log2(13(12+x))972+297x30x2+x3+(21642x+2x2)log(13(12+x))+(12+x)log2(13(12+x))dx

Optimal. Leaf size=20 2x+12x9+x+log(4+x3)

________________________________________________________________________________________

Rubi [F]  time = 0.61, 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 = {} 648+474x60x2+2x3+(28872x+4x2)log(13(12+x))+(24+2x)log2(13(12+x))972+297x30x2+x3+(21642x+2x2)log(13(12+x))+(12+x)log2(13(12+x))dx

Verification is not applicable to the result.

[In]

Int[(-648 + 474*x - 60*x^2 + 2*x^3 + (288 - 72*x + 4*x^2)*Log[(-12 + x)/3] + (-24 + 2*x)*Log[(-12 + x)/3]^2)/(
-972 + 297*x - 30*x^2 + x^3 + (216 - 42*x + 2*x^2)*Log[(-12 + x)/3] + (-12 + x)*Log[(-12 + x)/3]^2),x]

[Out]

2*x - 12*Defer[Int][(-9 + x + Log[-4 + x/3])^(-2), x] - 144*Defer[Int][1/((-12 + x)*(-9 + x + Log[-4 + x/3])^2
), x] - 12*Defer[Int][x/(-9 + x + Log[-4 + x/3])^2, x] + 12*Defer[Int][(-9 + x + Log[-4 + x/3])^(-1), x]

Rubi steps

integral=2(324237x+30x2x32(7218x+x2)log(4+x3)(12+x)log2(4+x3))(12x)(9xlog(4+x3))2dx=2324237x+30x2x32(7218x+x2)log(4+x3)(12+x)log2(4+x3)(12x)(9xlog(4+x3))2dx=2(16(11+x)x(12+x)(9+x+log(4+x3))2+69+x+log(4+x3))dx=2x12(11+x)x(12+x)(9+x+log(4+x3))2dx+1219+x+log(4+x3)dx=2x+1219+x+log(4+x3)dx12(1(9+x+log(4+x3))2+12(12+x)(9+x+log(4+x3))2+x(9+x+log(4+x3))2)dx=2x121(9+x+log(4+x3))2dx12x(9+x+log(4+x3))2dx+1219+x+log(4+x3)dx1441(12+x)(9+x+log(4+x3))2dx

________________________________________________________________________________________

Mathematica [A]  time = 0.21, size = 20, normalized size = 1.00 2(x+6x9+x+log(4+x3))

Antiderivative was successfully verified.

[In]

Integrate[(-648 + 474*x - 60*x^2 + 2*x^3 + (288 - 72*x + 4*x^2)*Log[(-12 + x)/3] + (-24 + 2*x)*Log[(-12 + x)/3
]^2)/(-972 + 297*x - 30*x^2 + x^3 + (216 - 42*x + 2*x^2)*Log[(-12 + x)/3] + (-12 + x)*Log[(-12 + x)/3]^2),x]

[Out]

2*(x + (6*x)/(-9 + x + Log[-4 + x/3]))

________________________________________________________________________________________

fricas [A]  time = 0.92, size = 28, normalized size = 1.40 2(x2+xlog(13x4)3x)x+log(13x4)9

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x-24)*log(1/3*x-4)^2+(4*x^2-72*x+288)*log(1/3*x-4)+2*x^3-60*x^2+474*x-648)/((x-12)*log(1/3*x-4)^
2+(2*x^2-42*x+216)*log(1/3*x-4)+x^3-30*x^2+297*x-972),x, algorithm="fricas")

[Out]

2*(x^2 + x*log(1/3*x - 4) - 3*x)/(x + log(1/3*x - 4) - 9)

________________________________________________________________________________________

giac [A]  time = 0.24, size = 18, normalized size = 0.90 2x+12xx+log(13x4)9

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x-24)*log(1/3*x-4)^2+(4*x^2-72*x+288)*log(1/3*x-4)+2*x^3-60*x^2+474*x-648)/((x-12)*log(1/3*x-4)^
2+(2*x^2-42*x+216)*log(1/3*x-4)+x^3-30*x^2+297*x-972),x, algorithm="giac")

[Out]

2*x + 12*x/(x + log(1/3*x - 4) - 9)

________________________________________________________________________________________

maple [A]  time = 0.09, size = 19, normalized size = 0.95




method result size



risch 2x+12xln(x34)9+x 19
norman 2ln(x34)2+24ln(x34)+2x254ln(x34)9+x+2ln(x12) 45



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((2*x-24)*ln(1/3*x-4)^2+(4*x^2-72*x+288)*ln(1/3*x-4)+2*x^3-60*x^2+474*x-648)/((x-12)*ln(1/3*x-4)^2+(2*x^2-
42*x+216)*ln(1/3*x-4)+x^3-30*x^2+297*x-972),x,method=_RETURNVERBOSE)

[Out]

2*x+12*x/(ln(1/3*x-4)-9+x)

________________________________________________________________________________________

maxima [A]  time = 0.48, size = 32, normalized size = 1.60 2(x2x(log(3)+3)+xlog(x12))xlog(3)+log(x12)9

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x-24)*log(1/3*x-4)^2+(4*x^2-72*x+288)*log(1/3*x-4)+2*x^3-60*x^2+474*x-648)/((x-12)*log(1/3*x-4)^
2+(2*x^2-42*x+216)*log(1/3*x-4)+x^3-30*x^2+297*x-972),x, algorithm="maxima")

[Out]

2*(x^2 - x*(log(3) + 3) + x*log(x - 12))/(x - log(3) + log(x - 12) - 9)

________________________________________________________________________________________

mupad [B]  time = 3.59, size = 37, normalized size = 1.85 2(xln(x34)6ln(x34)9x+x2+54)x+ln(x34)9

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((474*x + log(x/3 - 4)*(4*x^2 - 72*x + 288) + log(x/3 - 4)^2*(2*x - 24) - 60*x^2 + 2*x^3 - 648)/(297*x + lo
g(x/3 - 4)^2*(x - 12) + log(x/3 - 4)*(2*x^2 - 42*x + 216) - 30*x^2 + x^3 - 972),x)

[Out]

(2*(x*log(x/3 - 4) - 6*log(x/3 - 4) - 9*x + x^2 + 54))/(x + log(x/3 - 4) - 9)

________________________________________________________________________________________

sympy [A]  time = 0.15, size = 15, normalized size = 0.75 2x+12xx+log(x34)9

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x-24)*ln(1/3*x-4)**2+(4*x**2-72*x+288)*ln(1/3*x-4)+2*x**3-60*x**2+474*x-648)/((x-12)*ln(1/3*x-4)
**2+(2*x**2-42*x+216)*ln(1/3*x-4)+x**3-30*x**2+297*x-972),x)

[Out]

2*x + 12*x/(x + log(x/3 - 4) - 9)

________________________________________________________________________________________