3.73.76 6+4x24x2+16x3(5+24x40x2+16x3+16x4)log(514x+12x2+8x314x+4x2)dx

Optimal. Leaf size=27 1+e2+log(log(5+2x+x(2(14x)+x)2))

________________________________________________________________________________________

Rubi [F]  time = 0.73, 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 = {} 6+4x24x2+16x3(5+24x40x2+16x3+16x4)log(514x+12x2+8x314x+4x2)dx

Verification is not applicable to the result.

[In]

Int[(-6 + 4*x - 24*x^2 + 16*x^3)/((-5 + 24*x - 40*x^2 + 16*x^3 + 16*x^4)*Log[(5 - 14*x + 12*x^2 + 8*x^3)/(1 -
4*x + 4*x^2)]),x]

[Out]

-4*Defer[Int][1/((-1 + 2*x)*Log[(5 - 14*x + 12*x^2 + 8*x^3)/(-1 + 2*x)^2]), x] - 14*Defer[Int][1/((5 - 14*x +
12*x^2 + 8*x^3)*Log[(5 - 14*x + 12*x^2 + 8*x^3)/(-1 + 2*x)^2]), x] + 24*Defer[Int][x/((5 - 14*x + 12*x^2 + 8*x
^3)*Log[(5 - 14*x + 12*x^2 + 8*x^3)/(-1 + 2*x)^2]), x] + 24*Defer[Int][x^2/((5 - 14*x + 12*x^2 + 8*x^3)*Log[(5
 - 14*x + 12*x^2 + 8*x^3)/(-1 + 2*x)^2]), x]

Rubi steps

integral=(4(1+2x)log(514x+12x2+8x3(1+2x)2)+2(7+12x+12x2)(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2))dx=27+12x+12x2(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2)dx41(1+2x)log(514x+12x2+8x3(1+2x)2)dx=2(7(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2)+12x(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2)+12x2(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2))dx41(1+2x)log(514x+12x2+8x3(1+2x)2)dx=(41(1+2x)log(514x+12x2+8x3(1+2x)2)dx)141(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2)dx+24x(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2)dx+24x2(514x+12x2+8x3)log(514x+12x2+8x3(1+2x)2)dx

________________________________________________________________________________________

Mathematica [A]  time = 0.15, size = 25, normalized size = 0.93 log(log(514x+12x2+8x3(1+2x)2))

Antiderivative was successfully verified.

[In]

Integrate[(-6 + 4*x - 24*x^2 + 16*x^3)/((-5 + 24*x - 40*x^2 + 16*x^3 + 16*x^4)*Log[(5 - 14*x + 12*x^2 + 8*x^3)
/(1 - 4*x + 4*x^2)]),x]

[Out]

Log[Log[(5 - 14*x + 12*x^2 + 8*x^3)/(-1 + 2*x)^2]]

________________________________________________________________________________________

fricas [A]  time = 0.58, size = 30, normalized size = 1.11 log(log(8x3+12x214x+54x24x+1))

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((16*x^3-24*x^2+4*x-6)/(16*x^4+16*x^3-40*x^2+24*x-5)/log((8*x^3+12*x^2-14*x+5)/(4*x^2-4*x+1)),x, algo
rithm="fricas")

[Out]

log(log((8*x^3 + 12*x^2 - 14*x + 5)/(4*x^2 - 4*x + 1)))

________________________________________________________________________________________

giac [A]  time = 0.21, size = 30, normalized size = 1.11 log(log(8x3+12x214x+54x24x+1))

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((16*x^3-24*x^2+4*x-6)/(16*x^4+16*x^3-40*x^2+24*x-5)/log((8*x^3+12*x^2-14*x+5)/(4*x^2-4*x+1)),x, algo
rithm="giac")

[Out]

log(log((8*x^3 + 12*x^2 - 14*x + 5)/(4*x^2 - 4*x + 1)))

________________________________________________________________________________________

maple [A]  time = 0.04, size = 31, normalized size = 1.15




method result size



norman ln(ln(8x3+12x214x+54x24x+1)) 31
risch ln(ln(8x3+12x214x+54x24x+1)) 31



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((16*x^3-24*x^2+4*x-6)/(16*x^4+16*x^3-40*x^2+24*x-5)/ln((8*x^3+12*x^2-14*x+5)/(4*x^2-4*x+1)),x,method=_RETU
RNVERBOSE)

[Out]

ln(ln((8*x^3+12*x^2-14*x+5)/(4*x^2-4*x+1)))

________________________________________________________________________________________

maxima [A]  time = 0.41, size = 26, normalized size = 0.96 log(log(8x3+12x214x+5)2log(2x1))

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((16*x^3-24*x^2+4*x-6)/(16*x^4+16*x^3-40*x^2+24*x-5)/log((8*x^3+12*x^2-14*x+5)/(4*x^2-4*x+1)),x, algo
rithm="maxima")

[Out]

log(log(8*x^3 + 12*x^2 - 14*x + 5) - 2*log(2*x - 1))

________________________________________________________________________________________

mupad [B]  time = 4.88, size = 22, normalized size = 0.81 ln(ln(2x+4x4x24x+1+5))

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((4*x - 24*x^2 + 16*x^3 - 6)/(log((12*x^2 - 14*x + 8*x^3 + 5)/(4*x^2 - 4*x + 1))*(24*x - 40*x^2 + 16*x^3 +
16*x^4 - 5)),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.34, size = 27, normalized size = 1.00 log(log(8x3+12x214x+54x24x+1))

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((16*x**3-24*x**2+4*x-6)/(16*x**4+16*x**3-40*x**2+24*x-5)/ln((8*x**3+12*x**2-14*x+5)/(4*x**2-4*x+1)),
x)

[Out]

log(log((8*x**3 + 12*x**2 - 14*x + 5)/(4*x**2 - 4*x + 1)))

________________________________________________________________________________________