\(\int \frac {1}{5} (-55-4 x+16 x^2-2 x^3+(48+32 x-2 x^2-8 x^3+2 x^4) \log (x)+(64-48 x^2+5 x^4) \log ^2(x)) \, dx\) [3065]

Optimal result

Integrand size = 59, antiderivative size = 24 \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=\frac {1}{5} x \left (x^2+\left (5-x+\left (-8+x^2\right ) \log (x)\right )^2\right ) \]

[Out]

x*(1/5*x^2+1/5*(5+(x^2-8)*ln(x)-x)^2)

Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(77\) vs. \(2(24)=48\).

Time = 0.08 (sec) , antiderivative size = 77, normalized size of antiderivative = 3.21, number of steps used = 17, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.102, Rules used = {12, 2403, 2332, 2341, 2333, 2342} \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=\frac {1}{5} x^5 \log ^2(x)-\frac {2}{5} x^4 \log (x)+\frac {2 x^3}{5}-\frac {16}{5} x^3 \log ^2(x)+2 x^3 \log (x)-2 x^2+\frac {16}{5} x^2 \log (x)+5 x+\frac {64}{5} x \log ^2(x)-16 x \log (x) \]

[In]

Int[(-55 - 4*x + 16*x^2 - 2*x^3 + (48 + 32*x - 2*x^2 - 8*x^3 + 2*x^4)*Log[x] + (64 - 48*x^2 + 5*x^4)*Log[x]^2)
/5,x]

[Out]

5*x - 2*x^2 + (2*x^3)/5 - 16*x*Log[x] + (16*x^2*Log[x])/5 + 2*x^3*Log[x] - (2*x^4*Log[x])/5 + (64*x*Log[x]^2)/
5 - (16*x^3*Log[x]^2)/5 + (x^5*Log[x]^2)/5

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 2332

Int[Log[(c_.)*(x_)^(n_.)], x_Symbol] :> Simp[x*Log[c*x^n], x] - Simp[n*x, x] /; FreeQ[{c, n}, x]

Rule 2333

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.), x_Symbol] :> Simp[x*(a + b*Log[c*x^n])^p, x] - Dist[b*n*p, In
t[(a + b*Log[c*x^n])^(p - 1), x], x] /; FreeQ[{a, b, c, n}, x] && GtQ[p, 0] && IntegerQ[2*p]

Rule 2341

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[(d*x)^(m + 1)*((a + b*Log[c*x^
n])/(d*(m + 1))), x] - Simp[b*n*((d*x)^(m + 1)/(d*(m + 1)^2)), x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[m, -1
]

Rule 2342

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[(d*x)^(m + 1)*((a + b*Lo
g[c*x^n])^p/(d*(m + 1))), x] - Dist[b*n*(p/(m + 1)), Int[(d*x)^m*(a + b*Log[c*x^n])^(p - 1), x], x] /; FreeQ[{
a, b, c, d, m, n}, x] && NeQ[m, -1] && GtQ[p, 0]

Rule 2403

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*(Polyx_), x_Symbol] :> Int[ExpandIntegrand[Polyx*(a + b*Log[c*
x^n])^p, x], x] /; FreeQ[{a, b, c, n, p}, x] && PolynomialQ[Polyx, x]

Rubi steps \begin{align*} \text {integral}& = \frac {1}{5} \int \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx \\ & = -11 x-\frac {2 x^2}{5}+\frac {16 x^3}{15}-\frac {x^4}{10}+\frac {1}{5} \int \left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x) \, dx+\frac {1}{5} \int \left (64-48 x^2+5 x^4\right ) \log ^2(x) \, dx \\ & = -11 x-\frac {2 x^2}{5}+\frac {16 x^3}{15}-\frac {x^4}{10}+\frac {1}{5} \int \left (48 \log (x)+32 x \log (x)-2 x^2 \log (x)-8 x^3 \log (x)+2 x^4 \log (x)\right ) \, dx+\frac {1}{5} \int \left (64 \log ^2(x)-48 x^2 \log ^2(x)+5 x^4 \log ^2(x)\right ) \, dx \\ & = -11 x-\frac {2 x^2}{5}+\frac {16 x^3}{15}-\frac {x^4}{10}-\frac {2}{5} \int x^2 \log (x) \, dx+\frac {2}{5} \int x^4 \log (x) \, dx-\frac {8}{5} \int x^3 \log (x) \, dx+\frac {32}{5} \int x \log (x) \, dx+\frac {48}{5} \int \log (x) \, dx-\frac {48}{5} \int x^2 \log ^2(x) \, dx+\frac {64}{5} \int \log ^2(x) \, dx+\int x^4 \log ^2(x) \, dx \\ & = -\frac {103 x}{5}-2 x^2+\frac {10 x^3}{9}-\frac {2 x^5}{125}+\frac {48}{5} x \log (x)+\frac {16}{5} x^2 \log (x)-\frac {2}{15} x^3 \log (x)-\frac {2}{5} x^4 \log (x)+\frac {2}{25} x^5 \log (x)+\frac {64}{5} x \log ^2(x)-\frac {16}{5} x^3 \log ^2(x)+\frac {1}{5} x^5 \log ^2(x)-\frac {2}{5} \int x^4 \log (x) \, dx+\frac {32}{5} \int x^2 \log (x) \, dx-\frac {128}{5} \int \log (x) \, dx \\ & = 5 x-2 x^2+\frac {2 x^3}{5}-16 x \log (x)+\frac {16}{5} x^2 \log (x)+2 x^3 \log (x)-\frac {2}{5} x^4 \log (x)+\frac {64}{5} x \log ^2(x)-\frac {16}{5} x^3 \log ^2(x)+\frac {1}{5} x^5 \log ^2(x) \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(77\) vs. \(2(24)=48\).

Time = 0.03 (sec) , antiderivative size = 77, normalized size of antiderivative = 3.21 \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=5 x-2 x^2+\frac {2 x^3}{5}-16 x \log (x)+\frac {16}{5} x^2 \log (x)+2 x^3 \log (x)-\frac {2}{5} x^4 \log (x)+\frac {64}{5} x \log ^2(x)-\frac {16}{5} x^3 \log ^2(x)+\frac {1}{5} x^5 \log ^2(x) \]

[In]

Integrate[(-55 - 4*x + 16*x^2 - 2*x^3 + (48 + 32*x - 2*x^2 - 8*x^3 + 2*x^4)*Log[x] + (64 - 48*x^2 + 5*x^4)*Log
[x]^2)/5,x]

[Out]

5*x - 2*x^2 + (2*x^3)/5 - 16*x*Log[x] + (16*x^2*Log[x])/5 + 2*x^3*Log[x] - (2*x^4*Log[x])/5 + (64*x*Log[x]^2)/
5 - (16*x^3*Log[x]^2)/5 + (x^5*Log[x]^2)/5

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(65\) vs. \(2(25)=50\).

Time = 0.13 (sec) , antiderivative size = 66, normalized size of antiderivative = 2.75

method	result	size
default	\(5 x +\frac {x^{5} \ln \left (x \right )^{2}}{5}-\frac {16 x^{3} \ln \left (x \right )^{2}}{5}+2 x^{3} \ln \left (x \right )+\frac {2 x^{3}}{5}+\frac {64 x \ln \left (x \right )^{2}}{5}-16 x \ln \left (x \right )-\frac {2 x^{4} \ln \left (x \right )}{5}+\frac {16 x^{2} \ln \left (x \right )}{5}-2 x^{2}\)	\(66\)
norman	\(5 x +\frac {x^{5} \ln \left (x \right )^{2}}{5}-\frac {16 x^{3} \ln \left (x \right )^{2}}{5}+2 x^{3} \ln \left (x \right )+\frac {2 x^{3}}{5}+\frac {64 x \ln \left (x \right )^{2}}{5}-16 x \ln \left (x \right )-\frac {2 x^{4} \ln \left (x \right )}{5}+\frac {16 x^{2} \ln \left (x \right )}{5}-2 x^{2}\)	\(66\)
risch	\(5 x +\frac {x^{5} \ln \left (x \right )^{2}}{5}-\frac {16 x^{3} \ln \left (x \right )^{2}}{5}+2 x^{3} \ln \left (x \right )+\frac {2 x^{3}}{5}+\frac {64 x \ln \left (x \right )^{2}}{5}-16 x \ln \left (x \right )-\frac {2 x^{4} \ln \left (x \right )}{5}+\frac {16 x^{2} \ln \left (x \right )}{5}-2 x^{2}\)	\(66\)
parallelrisch	\(5 x +\frac {x^{5} \ln \left (x \right )^{2}}{5}-\frac {16 x^{3} \ln \left (x \right )^{2}}{5}+2 x^{3} \ln \left (x \right )+\frac {2 x^{3}}{5}+\frac {64 x \ln \left (x \right )^{2}}{5}-16 x \ln \left (x \right )-\frac {2 x^{4} \ln \left (x \right )}{5}+\frac {16 x^{2} \ln \left (x \right )}{5}-2 x^{2}\)	\(66\)
parts	\(5 x +\frac {x^{5} \ln \left (x \right )^{2}}{5}-\frac {16 x^{3} \ln \left (x \right )^{2}}{5}+2 x^{3} \ln \left (x \right )+\frac {2 x^{3}}{5}+\frac {64 x \ln \left (x \right )^{2}}{5}-16 x \ln \left (x \right )-\frac {2 x^{4} \ln \left (x \right )}{5}+\frac {16 x^{2} \ln \left (x \right )}{5}-2 x^{2}\)	\(66\)

[In]

int(1/5*(5*x^4-48*x^2+64)*ln(x)^2+1/5*(2*x^4-8*x^3-2*x^2+32*x+48)*ln(x)-2/5*x^3+16/5*x^2-4/5*x-11,x,method=_RE
TURNVERBOSE)

[Out]

5*x+1/5*x^5*ln(x)^2-16/5*x^3*ln(x)^2+2*x^3*ln(x)+2/5*x^3+64/5*x*ln(x)^2-16*x*ln(x)-2/5*x^4*ln(x)+16/5*x^2*ln(x
)-2*x^2

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 53 vs. \(2 (22) = 44\).

Time = 0.26 (sec) , antiderivative size = 53, normalized size of antiderivative = 2.21 \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=\frac {2}{5} \, x^{3} + \frac {1}{5} \, {\left (x^{5} - 16 \, x^{3} + 64 \, x\right )} \log \left (x\right )^{2} - 2 \, x^{2} - \frac {2}{5} \, {\left (x^{4} - 5 \, x^{3} - 8 \, x^{2} + 40 \, x\right )} \log \left (x\right ) + 5 \, x \]

[In]

integrate(1/5*(5*x^4-48*x^2+64)*log(x)^2+1/5*(2*x^4-8*x^3-2*x^2+32*x+48)*log(x)-2/5*x^3+16/5*x^2-4/5*x-11,x, a
lgorithm="fricas")

[Out]

2/5*x^3 + 1/5*(x^5 - 16*x^3 + 64*x)*log(x)^2 - 2*x^2 - 2/5*(x^4 - 5*x^3 - 8*x^2 + 40*x)*log(x) + 5*x

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 61 vs. \(2 (20) = 40\).

Time = 0.09 (sec) , antiderivative size = 61, normalized size of antiderivative = 2.54 \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=\frac {2 x^{3}}{5} - 2 x^{2} + 5 x + \left (\frac {x^{5}}{5} - \frac {16 x^{3}}{5} + \frac {64 x}{5}\right ) \log {\left (x \right )}^{2} + \left (- \frac {2 x^{4}}{5} + 2 x^{3} + \frac {16 x^{2}}{5} - 16 x\right ) \log {\left (x \right )} \]

[In]

integrate(1/5*(5*x**4-48*x**2+64)*ln(x)**2+1/5*(2*x**4-8*x**3-2*x**2+32*x+48)*ln(x)-2/5*x**3+16/5*x**2-4/5*x-1
1,x)

[Out]

2*x**3/5 - 2*x**2 + 5*x + (x**5/5 - 16*x**3/5 + 64*x/5)*log(x)**2 + (-2*x**4/5 + 2*x**3 + 16*x**2/5 - 16*x)*lo
g(x)

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 94 vs. \(2 (22) = 44\).

Time = 0.20 (sec) , antiderivative size = 94, normalized size of antiderivative = 3.92 \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=\frac {1}{125} \, {\left (25 \, \log \left (x\right )^{2} - 10 \, \log \left (x\right ) + 2\right )} x^{5} - \frac {2}{125} \, x^{5} - \frac {16}{45} \, {\left (9 \, \log \left (x\right )^{2} - 6 \, \log \left (x\right ) + 2\right )} x^{3} + \frac {10}{9} \, x^{3} + \frac {64}{5} \, {\left (\log \left (x\right )^{2} - 2 \, \log \left (x\right ) + 2\right )} x - 2 \, x^{2} + \frac {2}{75} \, {\left (3 \, x^{5} - 15 \, x^{4} - 5 \, x^{3} + 120 \, x^{2} + 360 \, x\right )} \log \left (x\right ) - \frac {103}{5} \, x \]

[In]

integrate(1/5*(5*x^4-48*x^2+64)*log(x)^2+1/5*(2*x^4-8*x^3-2*x^2+32*x+48)*log(x)-2/5*x^3+16/5*x^2-4/5*x-11,x, a
lgorithm="maxima")

[Out]

1/125*(25*log(x)^2 - 10*log(x) + 2)*x^5 - 2/125*x^5 - 16/45*(9*log(x)^2 - 6*log(x) + 2)*x^3 + 10/9*x^3 + 64/5*
(log(x)^2 - 2*log(x) + 2)*x - 2*x^2 + 2/75*(3*x^5 - 15*x^4 - 5*x^3 + 120*x^2 + 360*x)*log(x) - 103/5*x

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 65 vs. \(2 (22) = 44\).

Time = 0.27 (sec) , antiderivative size = 65, normalized size of antiderivative = 2.71 \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=\frac {1}{5} \, x^{5} \log \left (x\right )^{2} - \frac {2}{5} \, x^{4} \log \left (x\right ) - \frac {16}{5} \, x^{3} \log \left (x\right )^{2} + 2 \, x^{3} \log \left (x\right ) + \frac {2}{5} \, x^{3} + \frac {16}{5} \, x^{2} \log \left (x\right ) + \frac {64}{5} \, x \log \left (x\right )^{2} - 2 \, x^{2} - 16 \, x \log \left (x\right ) + 5 \, x \]

[In]

integrate(1/5*(5*x^4-48*x^2+64)*log(x)^2+1/5*(2*x^4-8*x^3-2*x^2+32*x+48)*log(x)-2/5*x^3+16/5*x^2-4/5*x-11,x, a
lgorithm="giac")

[Out]

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

Mupad [B] (verification not implemented)

Time = 9.72 (sec) , antiderivative size = 59, normalized size of antiderivative = 2.46 \[ \int \frac {1}{5} \left (-55-4 x+16 x^2-2 x^3+\left (48+32 x-2 x^2-8 x^3+2 x^4\right ) \log (x)+\left (64-48 x^2+5 x^4\right ) \log ^2(x)\right ) \, dx=\frac {x\,\left (x^4\,{\ln \left (x\right )}^2-2\,x^3\,\ln \left (x\right )-16\,x^2\,{\ln \left (x\right )}^2+10\,x^2\,\ln \left (x\right )+2\,x^2+16\,x\,\ln \left (x\right )-10\,x+64\,{\ln \left (x\right )}^2-80\,\ln \left (x\right )+25\right )}{5} \]

[In]

int((log(x)*(32*x - 2*x^2 - 8*x^3 + 2*x^4 + 48))/5 - (4*x)/5 + (log(x)^2*(5*x^4 - 48*x^2 + 64))/5 + (16*x^2)/5
- (2*x^3)/5 - 11,x)

[Out]

(x*(10*x^2*log(x) - 80*log(x) - 10*x - 2*x^3*log(x) + 64*log(x)^2 - 16*x^2*log(x)^2 + x^4*log(x)^2 + 16*x*log(
x) + 2*x^2 + 25))/5