\(\int \frac {-180000+640 x+191250 x^2-680 x^3+(-144000 x-71488 x^2-152744 x^3+544 x^4) \log (\frac {16+8 x+17 x^2}{16 x})+(-800+850 x^2+(-640 x-320 x^2-680 x^3) \log (\frac {16+8 x+17 x^2}{16 x})) \log (\log (\frac {16+8 x+17 x^2}{16 x}))}{(16 x+8 x^2+17 x^3) \log (\frac {16+8 x+17 x^2}{16 x})} \, dx\) [4398]

Optimal result

Integrand size = 150, antiderivative size = 27 \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=\left (x-5 \left (-225+x-\log \left (\log \left (x+\frac {(4+x)^2}{16 x}\right )\right )\right )\right )^2 \]

[Out]

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

Rubi [A] (verified)

Time = 0.41 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.85, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.027, Rules used = {1608, 6820, 12, 6818} \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=\left (-4 x+5 \log \left (\log \left (\frac {17 x}{16}+\frac {1}{x}+\frac {1}{2}\right )\right )+1125\right )^2 \]

[In]

Int[(-180000 + 640*x + 191250*x^2 - 680*x^3 + (-144000*x - 71488*x^2 - 152744*x^3 + 544*x^4)*Log[(16 + 8*x + 1
7*x^2)/(16*x)] + (-800 + 850*x^2 + (-640*x - 320*x^2 - 680*x^3)*Log[(16 + 8*x + 17*x^2)/(16*x)])*Log[Log[(16 +
8*x + 17*x^2)/(16*x)]])/((16*x + 8*x^2 + 17*x^3)*Log[(16 + 8*x + 17*x^2)/(16*x)]),x]

[Out]

(1125 - 4*x + 5*Log[Log[1/2 + x^(-1) + (17*x)/16]])^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 1608

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.) + (c_.)*(x_)^(r_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^
(q - p) + c*x^(r - p))^n, x] /; FreeQ[{a, b, c, p, q, r}, x] && IntegerQ[n] && PosQ[q - p] && PosQ[r - p]

Rule 6818

Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*(y^(m + 1)/(m + 1)), x] /;  !F
alseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]

Rule 6820

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rubi steps \begin{align*} \text {integral}& = \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{x \left (16+8 x+17 x^2\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx \\ & = \int \frac {2 \left (80-85 x^2+4 x \left (16+8 x+17 x^2\right ) \log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right ) \left (-1125+4 x-5 \log \left (\log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right )\right )}{x \left (16+8 x+17 x^2\right ) \log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )} \, dx \\ & = 2 \int \frac {\left (80-85 x^2+4 x \left (16+8 x+17 x^2\right ) \log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right ) \left (-1125+4 x-5 \log \left (\log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right )\right )}{x \left (16+8 x+17 x^2\right ) \log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )} \, dx \\ & = \left (1125-4 x+5 \log \left (\log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right )\right )^2 \\ \end{align*}

Mathematica [B] (verified)

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

Time = 0.06 (sec) , antiderivative size = 64, normalized size of antiderivative = 2.37 \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=2 \left (-4500 x+8 x^2+5625 \log \left (\log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right )-20 x \log \left (\log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right )+\frac {25}{2} \log ^2\left (\log \left (\frac {1}{2}+\frac {1}{x}+\frac {17 x}{16}\right )\right )\right ) \]

[In]

Integrate[(-180000 + 640*x + 191250*x^2 - 680*x^3 + (-144000*x - 71488*x^2 - 152744*x^3 + 544*x^4)*Log[(16 + 8
*x + 17*x^2)/(16*x)] + (-800 + 850*x^2 + (-640*x - 320*x^2 - 680*x^3)*Log[(16 + 8*x + 17*x^2)/(16*x)])*Log[Log
[(16 + 8*x + 17*x^2)/(16*x)]])/((16*x + 8*x^2 + 17*x^3)*Log[(16 + 8*x + 17*x^2)/(16*x)]),x]

[Out]

2*(-4500*x + 8*x^2 + 5625*Log[Log[1/2 + x^(-1) + (17*x)/16]] - 20*x*Log[Log[1/2 + x^(-1) + (17*x)/16]] + (25*L
og[Log[1/2 + x^(-1) + (17*x)/16]]^2)/2)

Maple [B] (verified)

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

Time = 0.43 (sec) , antiderivative size = 71, normalized size of antiderivative = 2.63

method	result	size
parallelrisch	\(\frac {71872}{19}+16 x^{2}-40 \ln \left (\ln \left (\frac {17 x^{2}+8 x +16}{16 x}\right )\right ) x +25 {\ln \left (\ln \left (\frac {17 x^{2}+8 x +16}{16 x}\right )\right )}^{2}+11250 \ln \left (\ln \left (\frac {17 x^{2}+8 x +16}{16 x}\right )\right )-9000 x\)	\(71\)

[In]

int((((-680*x^3-320*x^2-640*x)*ln(1/16*(17*x^2+8*x+16)/x)+850*x^2-800)*ln(ln(1/16*(17*x^2+8*x+16)/x))+(544*x^4
-152744*x^3-71488*x^2-144000*x)*ln(1/16*(17*x^2+8*x+16)/x)-680*x^3+191250*x^2+640*x-180000)/(17*x^3+8*x^2+16*x
)/ln(1/16*(17*x^2+8*x+16)/x),x,method=_RETURNVERBOSE)

[Out]

71872/19+16*x^2-40*ln(ln(1/16*(17*x^2+8*x+16)/x))*x+25*ln(ln(1/16*(17*x^2+8*x+16)/x))^2+11250*ln(ln(1/16*(17*x
^2+8*x+16)/x))-9000*x

Fricas [B] (verification not implemented)

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

Time = 0.24 (sec) , antiderivative size = 54, normalized size of antiderivative = 2.00 \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=16 \, x^{2} - 10 \, {\left (4 \, x - 1125\right )} \log \left (\log \left (\frac {17 \, x^{2} + 8 \, x + 16}{16 \, x}\right )\right ) + 25 \, \log \left (\log \left (\frac {17 \, x^{2} + 8 \, x + 16}{16 \, x}\right )\right )^{2} - 9000 \, x \]

[In]

integrate((((-680*x^3-320*x^2-640*x)*log(1/16*(17*x^2+8*x+16)/x)+850*x^2-800)*log(log(1/16*(17*x^2+8*x+16)/x))
+(544*x^4-152744*x^3-71488*x^2-144000*x)*log(1/16*(17*x^2+8*x+16)/x)-680*x^3+191250*x^2+640*x-180000)/(17*x^3+
8*x^2+16*x)/log(1/16*(17*x^2+8*x+16)/x),x, algorithm="fricas")

[Out]

16*x^2 - 10*(4*x - 1125)*log(log(1/16*(17*x^2 + 8*x + 16)/x)) + 25*log(log(1/16*(17*x^2 + 8*x + 16)/x))^2 - 90
00*x

Sympy [B] (verification not implemented)

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

Time = 0.22 (sec) , antiderivative size = 66, normalized size of antiderivative = 2.44 \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=16 x^{2} - 40 x \log {\left (\log {\left (\frac {\frac {17 x^{2}}{16} + \frac {x}{2} + 1}{x} \right )} \right )} - 9000 x + 25 \log {\left (\log {\left (\frac {\frac {17 x^{2}}{16} + \frac {x}{2} + 1}{x} \right )} \right )}^{2} + 11250 \log {\left (\log {\left (\frac {\frac {17 x^{2}}{16} + \frac {x}{2} + 1}{x} \right )} \right )} \]

[In]

integrate((((-680*x**3-320*x**2-640*x)*ln(1/16*(17*x**2+8*x+16)/x)+850*x**2-800)*ln(ln(1/16*(17*x**2+8*x+16)/x
))+(544*x**4-152744*x**3-71488*x**2-144000*x)*ln(1/16*(17*x**2+8*x+16)/x)-680*x**3+191250*x**2+640*x-180000)/(
17*x**3+8*x**2+16*x)/ln(1/16*(17*x**2+8*x+16)/x),x)

[Out]

16*x**2 - 40*x*log(log((17*x**2/16 + x/2 + 1)/x)) - 9000*x + 25*log(log((17*x**2/16 + x/2 + 1)/x))**2 + 11250*
log(log((17*x**2/16 + x/2 + 1)/x))

Maxima [B] (verification not implemented)

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

Time = 0.32 (sec) , antiderivative size = 62, normalized size of antiderivative = 2.30 \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=16 \, x^{2} - 10 \, {\left (4 \, x - 1125\right )} \log \left (-4 \, \log \left (2\right ) + \log \left (17 \, x^{2} + 8 \, x + 16\right ) - \log \left (x\right )\right ) + 25 \, \log \left (-4 \, \log \left (2\right ) + \log \left (17 \, x^{2} + 8 \, x + 16\right ) - \log \left (x\right )\right )^{2} - 9000 \, x \]

[In]

integrate((((-680*x^3-320*x^2-640*x)*log(1/16*(17*x^2+8*x+16)/x)+850*x^2-800)*log(log(1/16*(17*x^2+8*x+16)/x))
+(544*x^4-152744*x^3-71488*x^2-144000*x)*log(1/16*(17*x^2+8*x+16)/x)-680*x^3+191250*x^2+640*x-180000)/(17*x^3+
8*x^2+16*x)/log(1/16*(17*x^2+8*x+16)/x),x, algorithm="maxima")

[Out]

16*x^2 - 10*(4*x - 1125)*log(-4*log(2) + log(17*x^2 + 8*x + 16) - log(x)) + 25*log(-4*log(2) + log(17*x^2 + 8*
x + 16) - log(x))^2 - 9000*x

Giac [B] (verification not implemented)

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

Time = 0.38 (sec) , antiderivative size = 97, normalized size of antiderivative = 3.59 \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=16 \, x^{2} - 25 \, \log \left (\log \left (17 \, x^{2} + 8 \, x + 16\right ) - \log \left (16 \, x\right )\right )^{2} - 10 \, {\left (4 \, x - 5 \, \log \left (\log \left (17 \, x^{2} + 8 \, x + 16\right ) - \log \left (16 \, x\right )\right )\right )} \log \left (\log \left (\frac {17 \, x^{2} + 8 \, x + 16}{16 \, x}\right )\right ) - 9000 \, x + 11250 \, \log \left (\log \left (17 \, x^{2} + 8 \, x + 16\right ) - \log \left (16 \, x\right )\right ) \]

[In]

integrate((((-680*x^3-320*x^2-640*x)*log(1/16*(17*x^2+8*x+16)/x)+850*x^2-800)*log(log(1/16*(17*x^2+8*x+16)/x))
+(544*x^4-152744*x^3-71488*x^2-144000*x)*log(1/16*(17*x^2+8*x+16)/x)-680*x^3+191250*x^2+640*x-180000)/(17*x^3+
8*x^2+16*x)/log(1/16*(17*x^2+8*x+16)/x),x, algorithm="giac")

[Out]

16*x^2 - 25*log(log(17*x^2 + 8*x + 16) - log(16*x))^2 - 10*(4*x - 5*log(log(17*x^2 + 8*x + 16) - log(16*x)))*l
og(log(1/16*(17*x^2 + 8*x + 16)/x)) - 9000*x + 11250*log(log(17*x^2 + 8*x + 16) - log(16*x))

Mupad [B] (verification not implemented)

Time = 10.85 (sec) , antiderivative size = 66, normalized size of antiderivative = 2.44 \[ \int \frac {-180000+640 x+191250 x^2-680 x^3+\left (-144000 x-71488 x^2-152744 x^3+544 x^4\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )+\left (-800+850 x^2+\left (-640 x-320 x^2-680 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right ) \log \left (\log \left (\frac {16+8 x+17 x^2}{16 x}\right )\right )}{\left (16 x+8 x^2+17 x^3\right ) \log \left (\frac {16+8 x+17 x^2}{16 x}\right )} \, dx=16\,x^2-40\,x\,\ln \left (\ln \left (\frac {\frac {17\,x^2}{16}+\frac {x}{2}+1}{x}\right )\right )-9000\,x+25\,{\ln \left (\ln \left (\frac {\frac {17\,x^2}{16}+\frac {x}{2}+1}{x}\right )\right )}^2+11250\,\ln \left (\ln \left (\frac {\frac {17\,x^2}{16}+\frac {x}{2}+1}{x}\right )\right ) \]

[In]

int(-(log((x/2 + (17*x^2)/16 + 1)/x)*(144000*x + 71488*x^2 + 152744*x^3 - 544*x^4) - 640*x + log(log((x/2 + (1
7*x^2)/16 + 1)/x))*(log((x/2 + (17*x^2)/16 + 1)/x)*(640*x + 320*x^2 + 680*x^3) - 850*x^2 + 800) - 191250*x^2 +
680*x^3 + 180000)/(log((x/2 + (17*x^2)/16 + 1)/x)*(16*x + 8*x^2 + 17*x^3)),x)

[Out]

11250*log(log((x/2 + (17*x^2)/16 + 1)/x)) - 9000*x - 40*x*log(log((x/2 + (17*x^2)/16 + 1)/x)) + 16*x^2 + 25*lo
g(log((x/2 + (17*x^2)/16 + 1)/x))^2