3.33.22 2510xx2+25x3+10x4+x5+e2(515x2+5x3)+(10+2x10x32x4)log(2+2x3)+(1+x3)log2(2+2x3)2510xx2+25x3+10x4+x5+(10+2x10x32x4)log(2+2x3)+(1+x3)log2(2+2x3)dx

Optimal. Leaf size=28 2+x5e25+xlog(2+x2log(e2x))

________________________________________________________________________________________

Rubi [F]  time = 36.91, 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 = {} 2510xx2+25x3+10x4+x5+e2(515x2+5x3)+(10+2x10x32x4)log(2+2x3)+(1+x3)log2(2+2x3)2510xx2+25x3+10x4+x5+(10+2x10x32x4)log(2+2x3)+(1+x3)log2(2+2x3)dx

Verification is not applicable to the result.

[In]

Int[(-25 - 10*x - x^2 + 25*x^3 + 10*x^4 + x^5 + E^2*(-5 - 15*x^2 + 5*x^3) + (10 + 2*x - 10*x^3 - 2*x^4)*Log[-2
 + 2*x^3] + (-1 + x^3)*Log[-2 + 2*x^3]^2)/(-25 - 10*x - x^2 + 25*x^3 + 10*x^4 + x^5 + (10 + 2*x - 10*x^3 - 2*x
^4)*Log[-2 + 2*x^3] + (-1 + x^3)*Log[-2 + 2*x^3]^2),x]

[Out]

x - (10*Defer[Int][1/((-1 + x)*(5 + x - Log[2*(-1 + x^3)])), x])/3 - (20*Defer[Int][(-5 - x + Log[2*(-1 + x^3)
])^(-1), x])/3 - (85*Defer[Int][(5 + x - Log[-2 + 2*x^3])^(-2), x])/3 + ((49 - 5*E^2)*Defer[Int][(5 + x - Log[
-2 + 2*x^3])^(-2), x])/3 + (5*(5 + E^2)*Defer[Int][(5 + x - Log[-2 + 2*x^3])^(-2), x])/3 + 2*(2 + 5*E^2)*Defer
[Int][(5 + x - Log[-2 + 2*x^3])^(-2), x] - ((1 + 15*E^2)*Defer[Int][(5 + x - Log[-2 + 2*x^3])^(-2), x])/3 + ((
(22*I)/3)*Defer[Int][1/((-1 + I*Sqrt[3] - 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] - (((2*I)/3)*(49 - 5*
E^2)*Defer[Int][1/((-1 + I*Sqrt[3] - 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] + (((20*I)/3)*(5 + E^2)*De
fer[Int][1/((-1 + I*Sqrt[3] - 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] - ((4*I)*(2 + 5*E^2)*Defer[Int][1
/((-1 + I*Sqrt[3] - 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] + Defer[Int][1/((-1 + x)*(5 + x - Log[-2 +
2*x^3])^2), x]/3 - ((1 + 15*E^2)*Defer[Int][1/((-1 + x)*(5 + x - Log[-2 + 2*x^3])^2), x])/3 - (20*Defer[Int][x
/(5 + x - Log[-2 + 2*x^3])^2, x])/3 - ((49 - 5*E^2)*Defer[Int][x/(5 + x - Log[-2 + 2*x^3])^2, x])/3 + (5*(5 +
E^2)*Defer[Int][x/(5 + x - Log[-2 + 2*x^3])^2, x])/3 + (5*(9 + E^2)*Defer[Int][x/(5 + x - Log[-2 + 2*x^3])^2,
x])/3 - ((1 + 15*E^2)*Defer[Int][x/(5 + x - Log[-2 + 2*x^3])^2, x])/3 + (20*Defer[Int][x^2/(5 + x - Log[-2 + 2
*x^3])^2, x])/3 + (5*(5 + E^2)*Defer[Int][x^2/(5 + x - Log[-2 + 2*x^3])^2, x])/3 - (5*(9 + E^2)*Defer[Int][x^2
/(5 + x - Log[-2 + 2*x^3])^2, x])/3 + (4*(3 + I*Sqrt[3])*Defer[Int][1/((1 - I*Sqrt[3] + 2*x)*(5 + x - Log[-2 +
 2*x^3])^2), x])/3 - (2*(3 + I*Sqrt[3])*(2 + 5*E^2)*Defer[Int][1/((1 - I*Sqrt[3] + 2*x)*(5 + x - Log[-2 + 2*x^
3])^2), x])/3 + (((22*I)/3)*Defer[Int][1/((1 + I*Sqrt[3] + 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] + (4
*(3 - I*Sqrt[3])*Defer[Int][1/((1 + I*Sqrt[3] + 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/3 - (((2*I)/3)*(49 - 5*
E^2)*Defer[Int][1/((1 + I*Sqrt[3] + 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] + (((20*I)/3)*(5 + E^2)*Def
er[Int][1/((1 + I*Sqrt[3] + 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] - ((4*I)*(2 + 5*E^2)*Defer[Int][1/(
(1 + I*Sqrt[3] + 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/Sqrt[3] - (2*(3 - I*Sqrt[3])*(2 + 5*E^2)*Defer[Int][1/
((1 + I*Sqrt[3] + 2*x)*(5 + x - Log[-2 + 2*x^3])^2), x])/3 - (20*Defer[Int][(5 + x - Log[-2 + 2*x^3])^(-1), x]
)/3 + (10*Defer[Int][1/((-1 + x)*(5 + x - Log[-2 + 2*x^3])), x])/3

Rubi steps

integral=(5+x)2(1+x3)5e2(13x2+x3)+2(5x+5x3+x4)log(2(1+x3))(1+x3)log2(2(1+x3))(1x3)(5+xlog(2+2x3))2dx=(25(1+e25)+10x+(1+15e2)x225(1+e25)x310x4x510log(2(1+x3))2xlog(2(1+x3))+10x3log(2(1+x3))+2x4log(2(1+x3))+log2(2(1+x3))x3log2(2(1+x3))3(1x)(5+xlog(2+2x3))2+(2+x)(25(1+e25)+10x+(1+15e2)x225(1+e25)x310x4x510log(2(1+x3))2xlog(2(1+x3))+10x3log(2(1+x3))+2x4log(2(1+x3))+log2(2(1+x3))x3log2(2(1+x3)))3(1+x+x2)(5+xlog(2+2x3))2)dx=1325(1+e25)+10x+(1+15e2)x225(1+e25)x310x4x510log(2(1+x3))2xlog(2(1+x3))+10x3log(2(1+x3))+2x4log(2(1+x3))+log2(2(1+x3))x3log2(2(1+x3))(1x)(5+xlog(2+2x3))2dx+13(2+x)(25(1+e25)+10x+(1+15e2)x225(1+e25)x310x4x510log(2(1+x3))2xlog(2(1+x3))+10x3log(2(1+x3))+2x4log(2(1+x3))+log2(2(1+x3))x3log2(2(1+x3)))(1+x+x2)(5+xlog(2+2x3))2dx=13(5+x)2(1+x3)5e2(13x2+x3)+2(5x+5x3+x4)log(2(1+x3))(1+x3)log2(2(1+x3))(1x)(5+xlog(2+2x3))2dx+13(2+x)((5+x)2(1+x3)5e2(13x2+x3)+2(5x+5x3+x4)log(2(1+x3))(1+x3)log2(2(1+x3)))(1+x+x2)(5+xlog(2+2x3))2dx=Rest of rules removed due to large latex content

________________________________________________________________________________________

Mathematica [A]  time = 0.07, size = 22, normalized size = 0.79 x+5e25x+log(2(1+x3))

Antiderivative was successfully verified.

[In]

Integrate[(-25 - 10*x - x^2 + 25*x^3 + 10*x^4 + x^5 + E^2*(-5 - 15*x^2 + 5*x^3) + (10 + 2*x - 10*x^3 - 2*x^4)*
Log[-2 + 2*x^3] + (-1 + x^3)*Log[-2 + 2*x^3]^2)/(-25 - 10*x - x^2 + 25*x^3 + 10*x^4 + x^5 + (10 + 2*x - 10*x^3
 - 2*x^4)*Log[-2 + 2*x^3] + (-1 + x^3)*Log[-2 + 2*x^3]^2),x]

[Out]

x + (5*E^2)/(-5 - x + Log[2*(-1 + x^3)])

________________________________________________________________________________________

fricas [A]  time = 0.56, size = 38, normalized size = 1.36 x2xlog(2x32)+5x5e2xlog(2x32)+5

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^3-1)*log(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*log(2*x^3-2)+(5*x^3-15*x^2-5)*exp(2)+x^5+10*x^4+25*x^
3-x^2-10*x-25)/((x^3-1)*log(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*log(2*x^3-2)+x^5+10*x^4+25*x^3-x^2-10*x-25),x, a
lgorithm="fricas")

[Out]

(x^2 - x*log(2*x^3 - 2) + 5*x - 5*e^2)/(x - log(2*x^3 - 2) + 5)

________________________________________________________________________________________

giac [A]  time = 0.27, size = 38, normalized size = 1.36 x2xlog(2x32)+5x5e2xlog(2x32)+5

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^3-1)*log(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*log(2*x^3-2)+(5*x^3-15*x^2-5)*exp(2)+x^5+10*x^4+25*x^
3-x^2-10*x-25)/((x^3-1)*log(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*log(2*x^3-2)+x^5+10*x^4+25*x^3-x^2-10*x-25),x, a
lgorithm="giac")

[Out]

(x^2 - x*log(2*x^3 - 2) + 5*x - 5*e^2)/(x - log(2*x^3 - 2) + 5)

________________________________________________________________________________________

maple [A]  time = 0.17, size = 22, normalized size = 0.79




method result size



risch x5e25+xln(2x32) 22
norman x225+5ln(2x32)ln(2x32)x5e25+xln(2x32) 47



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x^3-1)*ln(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*ln(2*x^3-2)+(5*x^3-15*x^2-5)*exp(2)+x^5+10*x^4+25*x^3-x^2-10
*x-25)/((x^3-1)*ln(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*ln(2*x^3-2)+x^5+10*x^4+25*x^3-x^2-10*x-25),x,method=_RETU
RNVERBOSE)

[Out]

x-5*exp(2)/(5+x-ln(2*x^3-2))

________________________________________________________________________________________

maxima [B]  time = 0.93, size = 57, normalized size = 2.04 x2x(log(2)5)xlog(x2+x+1)xlog(x1)5e2xlog(2)log(x2+x+1)log(x1)+5

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^3-1)*log(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*log(2*x^3-2)+(5*x^3-15*x^2-5)*exp(2)+x^5+10*x^4+25*x^
3-x^2-10*x-25)/((x^3-1)*log(2*x^3-2)^2+(-2*x^4-10*x^3+2*x+10)*log(2*x^3-2)+x^5+10*x^4+25*x^3-x^2-10*x-25),x, a
lgorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 2.20, size = 21, normalized size = 0.75 x5e2xln(2x32)+5

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(2*x^3 - 2)*(2*x - 10*x^3 - 2*x^4 + 10) - 10*x - exp(2)*(15*x^2 - 5*x^3 + 5) - x^2 + 25*x^3 + 10*x^4 +
 x^5 + log(2*x^3 - 2)^2*(x^3 - 1) - 25)/(log(2*x^3 - 2)*(2*x - 10*x^3 - 2*x^4 + 10) - 10*x - x^2 + 25*x^3 + 10
*x^4 + x^5 + log(2*x^3 - 2)^2*(x^3 - 1) - 25),x)

[Out]

x - (5*exp(2))/(x - log(2*x^3 - 2) + 5)

________________________________________________________________________________________

sympy [A]  time = 0.20, size = 17, normalized size = 0.61 x+5e2x+log(2x32)5

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x**3-1)*ln(2*x**3-2)**2+(-2*x**4-10*x**3+2*x+10)*ln(2*x**3-2)+(5*x**3-15*x**2-5)*exp(2)+x**5+10*x*
*4+25*x**3-x**2-10*x-25)/((x**3-1)*ln(2*x**3-2)**2+(-2*x**4-10*x**3+2*x+10)*ln(2*x**3-2)+x**5+10*x**4+25*x**3-
x**2-10*x-25),x)

[Out]

x + 5*exp(2)/(-x + log(2*x**3 - 2) - 5)

________________________________________________________________________________________