\(\int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+(30 x-20 x^2-5 x^3) \log (4)-50 \log ^2(4)}{2 x^5} \, dx\) [8785]

Optimal result

Integrand size = 61, antiderivative size = 27 \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=\left (\frac {-1+x}{x}+\frac {x}{2}+x^2+\frac {5 \log (4)}{2 x^2}\right )^2 \]

[Out]

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

Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(58\) vs. \(2(27)=54\).

Time = 0.03 (sec) , antiderivative size = 58, normalized size of antiderivative = 2.15, number of steps used = 3, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.033, Rules used = {12, 14} \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=x^4+\frac {25 \log ^2(4)}{4 x^4}+x^3-\frac {5 \log (4)}{x^3}+\frac {9 x^2}{4}+\frac {1+5 \log (4)}{x^2}-x-\frac {4-5 \log (4)}{2 x} \]

[In]

Int[(-4*x^2 + 4*x^3 - 2*x^5 + 9*x^6 + 6*x^7 + 8*x^8 + (30*x - 20*x^2 - 5*x^3)*Log[4] - 50*Log[4]^2)/(2*x^5),x]

[Out]

-x + (9*x^2)/4 + x^3 + x^4 - (4 - 5*Log[4])/(2*x) - (5*Log[4])/x^3 + (25*Log[4]^2)/(4*x^4) + (1 + 5*Log[4])/x^
2

Rule 12

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

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rubi steps \begin{align*} \text {integral}& = \frac {1}{2} \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{x^5} \, dx \\ & = \frac {1}{2} \int \left (-2+9 x+6 x^2+8 x^3+\frac {4-5 \log (4)}{x^2}+\frac {30 \log (4)}{x^4}-\frac {50 \log ^2(4)}{x^5}-\frac {4 (1+5 \log (4))}{x^3}\right ) \, dx \\ & = -x+\frac {9 x^2}{4}+x^3+x^4-\frac {4-5 \log (4)}{2 x}-\frac {5 \log (4)}{x^3}+\frac {25 \log ^2(4)}{4 x^4}+\frac {1+5 \log (4)}{x^2} \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(64\) vs. \(2(27)=54\).

Time = 0.02 (sec) , antiderivative size = 64, normalized size of antiderivative = 2.37 \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=\frac {1}{2} \left (-2 x+\frac {9 x^2}{2}+2 x^3+2 x^4-\frac {10 \log (4)}{x^3}+\frac {25 \log ^2(4)}{2 x^4}+\frac {-4+5 \log (4)}{x}+\frac {2 (1+5 \log (4))}{x^2}\right ) \]

[In]

Integrate[(-4*x^2 + 4*x^3 - 2*x^5 + 9*x^6 + 6*x^7 + 8*x^8 + (30*x - 20*x^2 - 5*x^3)*Log[4] - 50*Log[4]^2)/(2*x
^5),x]

[Out]

(-2*x + (9*x^2)/2 + 2*x^3 + 2*x^4 - (10*Log[4])/x^3 + (25*Log[4]^2)/(2*x^4) + (-4 + 5*Log[4])/x + (2*(1 + 5*Lo
g[4]))/x^2)/2

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(52\) vs. \(2(23)=46\).

Time = 0.09 (sec) , antiderivative size = 53, normalized size of antiderivative = 1.96

method	result	size
norman	\(\frac {x^{7}+x^{8}+\left (-2+5 \ln \left (2\right )\right ) x^{3}+\left (10 \ln \left (2\right )+1\right ) x^{2}-x^{5}+\frac {9 x^{6}}{4}+25 \ln \left (2\right )^{2}-10 x \ln \left (2\right )}{x^{4}}\)	\(53\)
risch	\(x^{4}+x^{3}+\frac {9 x^{2}}{4}-x +\frac {\left (10 \ln \left (2\right )-4\right ) x^{3}+\left (2+20 \ln \left (2\right )\right ) x^{2}-20 x \ln \left (2\right )+50 \ln \left (2\right )^{2}}{2 x^{4}}\)	\(53\)
default	\(x^{4}+x^{3}+\frac {9 x^{2}}{4}-x -\frac {-10 \ln \left (2\right )+4}{2 x}-\frac {-40 \ln \left (2\right )-4}{4 x^{2}}-\frac {10 \ln \left (2\right )}{x^{3}}+\frac {25 \ln \left (2\right )^{2}}{x^{4}}\)	\(54\)
gosper	\(\frac {4 x^{8}+4 x^{7}+9 x^{6}-4 x^{5}+20 x^{3} \ln \left (2\right )+40 x^{2} \ln \left (2\right )-8 x^{3}+100 \ln \left (2\right )^{2}-40 x \ln \left (2\right )+4 x^{2}}{4 x^{4}}\)	\(62\)
parallelrisch	\(\frac {4 x^{8}+4 x^{7}+9 x^{6}-4 x^{5}+20 x^{3} \ln \left (2\right )+40 x^{2} \ln \left (2\right )-8 x^{3}+100 \ln \left (2\right )^{2}-40 x \ln \left (2\right )+4 x^{2}}{4 x^{4}}\)	\(62\)

[In]

int(1/2*(-200*ln(2)^2+2*(-5*x^3-20*x^2+30*x)*ln(2)+8*x^8+6*x^7+9*x^6-2*x^5+4*x^3-4*x^2)/x^5,x,method=_RETURNVE
RBOSE)

[Out]

(x^7+x^8+(-2+5*ln(2))*x^3+(10*ln(2)+1)*x^2-x^5+9/4*x^6+25*ln(2)^2-10*x*ln(2))/x^4

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 58 vs. \(2 (26) = 52\).

Time = 0.28 (sec) , antiderivative size = 58, normalized size of antiderivative = 2.15 \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=\frac {4 \, x^{8} + 4 \, x^{7} + 9 \, x^{6} - 4 \, x^{5} - 8 \, x^{3} + 4 \, x^{2} + 20 \, {\left (x^{3} + 2 \, x^{2} - 2 \, x\right )} \log \left (2\right ) + 100 \, \log \left (2\right )^{2}}{4 \, x^{4}} \]

[In]

integrate(1/2*(-200*log(2)^2+2*(-5*x^3-20*x^2+30*x)*log(2)+8*x^8+6*x^7+9*x^6-2*x^5+4*x^3-4*x^2)/x^5,x, algorit
hm="fricas")

[Out]

1/4*(4*x^8 + 4*x^7 + 9*x^6 - 4*x^5 - 8*x^3 + 4*x^2 + 20*(x^3 + 2*x^2 - 2*x)*log(2) + 100*log(2)^2)/x^4

Sympy [B] (verification not implemented)

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

Time = 0.31 (sec) , antiderivative size = 53, normalized size of antiderivative = 1.96 \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=x^{4} + x^{3} + \frac {9 x^{2}}{4} - x + \frac {x^{3} \left (-4 + 10 \log {\left (2 \right )}\right ) + x^{2} \cdot \left (2 + 20 \log {\left (2 \right )}\right ) - 20 x \log {\left (2 \right )} + 50 \log {\left (2 \right )}^{2}}{2 x^{4}} \]

[In]

integrate(1/2*(-200*ln(2)**2+2*(-5*x**3-20*x**2+30*x)*ln(2)+8*x**8+6*x**7+9*x**6-2*x**5+4*x**3-4*x**2)/x**5,x)

[Out]

x**4 + x**3 + 9*x**2/4 - x + (x**3*(-4 + 10*log(2)) + x**2*(2 + 20*log(2)) - 20*x*log(2) + 50*log(2)**2)/(2*x*
*4)

Maxima [A] (verification not implemented)

none

Time = 0.19 (sec) , antiderivative size = 51, normalized size of antiderivative = 1.89 \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=x^{4} + x^{3} + \frac {9}{4} \, x^{2} - x + \frac {x^{3} {\left (5 \, \log \left (2\right ) - 2\right )} + x^{2} {\left (10 \, \log \left (2\right ) + 1\right )} - 10 \, x \log \left (2\right ) + 25 \, \log \left (2\right )^{2}}{x^{4}} \]

[In]

integrate(1/2*(-200*log(2)^2+2*(-5*x^3-20*x^2+30*x)*log(2)+8*x^8+6*x^7+9*x^6-2*x^5+4*x^3-4*x^2)/x^5,x, algorit
hm="maxima")

[Out]

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

Giac [B] (verification not implemented)

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

Time = 0.26 (sec) , antiderivative size = 53, normalized size of antiderivative = 1.96 \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=x^{4} + x^{3} + \frac {9}{4} \, x^{2} - x + \frac {5 \, x^{3} \log \left (2\right ) - 2 \, x^{3} + 10 \, x^{2} \log \left (2\right ) + x^{2} - 10 \, x \log \left (2\right ) + 25 \, \log \left (2\right )^{2}}{x^{4}} \]

[In]

integrate(1/2*(-200*log(2)^2+2*(-5*x^3-20*x^2+30*x)*log(2)+8*x^8+6*x^7+9*x^6-2*x^5+4*x^3-4*x^2)/x^5,x, algorit
hm="giac")

[Out]

x^4 + x^3 + 9/4*x^2 - x + (5*x^3*log(2) - 2*x^3 + 10*x^2*log(2) + x^2 - 10*x*log(2) + 25*log(2)^2)/x^4

Mupad [B] (verification not implemented)

Time = 14.15 (sec) , antiderivative size = 49, normalized size of antiderivative = 1.81 \[ \int \frac {-4 x^2+4 x^3-2 x^5+9 x^6+6 x^7+8 x^8+\left (30 x-20 x^2-5 x^3\right ) \log (4)-50 \log ^2(4)}{2 x^5} \, dx=\frac {\left (\ln \left (32\right )-2\right )\,x^3+\left (10\,\ln \left (2\right )+1\right )\,x^2-10\,\ln \left (2\right )\,x+25\,{\ln \left (2\right )}^2}{x^4}-x+\frac {9\,x^2}{4}+x^3+x^4 \]

[In]

int(-(log(2)*(20*x^2 - 30*x + 5*x^3) + 100*log(2)^2 + 2*x^2 - 2*x^3 + x^5 - (9*x^6)/2 - 3*x^7 - 4*x^8)/x^5,x)

[Out]

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