3.65.31 \(\int \frac {-640 x^2+210 x^4-10 x^6+(160 x^2-20 x^4) \log (2)-10 x^2 \log ^2(2)+(-5120 x-1280 x^2+80 x^5+20 x^6+(1280 x+320 x^2) \log (2)+(-80 x-20 x^2) \log ^2(2)) \log (4+x)}{16384+4096 x-10752 x^2-2688 x^3+2276 x^4+569 x^5-168 x^6-42 x^7+4 x^8+x^9+(-8192-2048 x+3712 x^2+928 x^3-464 x^4-116 x^5+16 x^6+4 x^7) \log (2)+(1536+384 x-424 x^2-106 x^3+24 x^4+6 x^5) \log ^2(2)+(-128-32 x+16 x^2+4 x^3) \log ^3(2)+(4+x) \log ^4(2)} \, dx\)

Optimal. Leaf size=27 \[ \frac {10 \log (4+x)}{5-\left (x-\frac {8-\log (2)}{x}\right )^2} \]

________________________________________________________________________________________

Rubi [C]  time = 15.34, antiderivative size = 4561, normalized size of antiderivative = 168.93, number of steps used = 98, number of rules used = 23, integrand size = 231, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.100, Rules used = {6, 6688, 12, 6742, 6728, 1460, 1166, 207, 1247, 634, 618, 206, 628, 2418, 260, 2416, 2394, 2393, 2391, 2413, 706, 31, 635}

result too large to display

Warning: Unable to verify antiderivative.

[In]

Int[(-640*x^2 + 210*x^4 - 10*x^6 + (160*x^2 - 20*x^4)*Log[2] - 10*x^2*Log[2]^2 + (-5120*x - 1280*x^2 + 80*x^5
+ 20*x^6 + (1280*x + 320*x^2)*Log[2] + (-80*x - 20*x^2)*Log[2]^2)*Log[4 + x])/(16384 + 4096*x - 10752*x^2 - 26
88*x^3 + 2276*x^4 + 569*x^5 - 168*x^6 - 42*x^7 + 4*x^8 + x^9 + (-8192 - 2048*x + 3712*x^2 + 928*x^3 - 464*x^4
- 116*x^5 + 16*x^6 + 4*x^7)*Log[2] + (1536 + 384*x - 424*x^2 - 106*x^3 + 24*x^4 + 6*x^5)*Log[2]^2 + (-128 - 32
*x + 16*x^2 + 4*x^3)*Log[2]^3 + (4 + x)*Log[2]^4),x]

[Out]

(-40*ArcTanh[x*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]]*(8 - (104 - Log[2]^
2)/Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*Sqrt[2/(21 - Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 -
Log[1048576]])])/(16 - Log[2]^2 - Log[65536]) - (40*ArcTanh[x*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Lo
g[4]^2 - Log[1048576]])]]*(8 + (104 - Log[2]^2)/Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*Sqrt[2/(21 -
 Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(16 - Log[2]^2 - Log[65536]) + (160*ArcTanh[x*Sq
rt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]]*(8 - Log[2])^2*Sqrt[2/(21 - Log[4] + S
qrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/((11 + Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048
576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) - (40*ArcTanh[x*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]
^2 + Log[4]^2 - Log[1048576]])]]*(21 - Log[4])*Sqrt[2*(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[10
48576]])])/((11 + Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Lo
g[1048576])) + (320*ArcTanh[x*Sqrt[2/(21 - Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]]*(8 - L
og[2])^2)/(Sqrt[42 - Log[16] - 2*Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]]]*(11 + Log[4] + Sqrt[185 - 4
*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) - (40*ArcTanh[x*Sqrt[2/(21
 - Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]]*(21 - Log[4])*Sqrt[42 - Log[16] - 2*Sqrt[185 -
 4*Log[2]^2 + Log[4]^2 - Log[1048576]]])/((11 + Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(18
5 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) - (10*ArcTanh[(21 - 2*x^2 - Log[4])/Sqrt[185 - 4*Log[2]^2 + Log[4]^
2 - Log[1048576]]]*(104 - Log[2]^2))/((16 - Log[2]^2 - Log[65536])*Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048
576]]) + (160*Log[4 + x])/(16 - Log[2]^2 - Log[65536]) - (40*(8 - Log[2])^2*Log[4 + x])/((21 - 2*x^2 - Log[4]
- Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) + (10*(21 -
Log[4])*(21 - Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*Log[4 + x])/((21 - 2*x^2 - Log[4] - S
qrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) - (40*(8 - Log[
2])^2*Log[4 + x])/((11 + Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]
^2 - Log[1048576])) + (10*(21 - Log[4])*(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*Log[4
 + x])/((11 + Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[10
48576])) - (40*(8 - Log[2])^2*Log[4 + x])/((21 - 2*x^2 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[10485
76]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) + (10*(21 - Log[4])*(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 +
 Log[4]^2 - Log[1048576]])*Log[4 + x])/((21 - 2*x^2 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]
])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) - (40*(8 - Log[2])^2*Log[4 + x])/((11 + Log[4] + Sqrt[185 - 4
*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) + (10*(21 - Log[4])*(21 -
Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*Log[4 + x])/((11 + Log[4] + Sqrt[185 - 4*Log[2]^2 +
 Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) - (40*Log[x^4 + (-8 + Log[2])^2 - x^2
*(21 - Log[4])])/(16 - Log[2]^2 - Log[65536]) - (40*(8 - Log[2])^2*Log[4 + x]*Log[(1 - x*Sqrt[2/(21 - 2*Log[2]
 - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 +
Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) + (10*(21 - Log[4])^2*Log[4 +
 x]*Log[(1 - x*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(21 -
 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])
^(3/2) - (10*Log[4 + x]*Log[(1 - x*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])
/(1 + 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/Sqrt[185 - 4*Log[2]^2 +
Log[4]^2 - Log[1048576]] - (40*(8 - Log[2])^2*Log[4 + x]*Log[(1 + x*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2
]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[104857
6]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) + (10*(21 - Log[4])^2*Log[4 + x]*Log[(1 + x*Sqrt[2
/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185
- 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) - (10*Log[4 +
x]*Log[(1 + x*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 -
2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[104857
6]] + (40*(8 - Log[2])^2*Log[4 + x]*Log[(1 - x*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[10
48576]])])/(1 + 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^
2 + Log[4]^2 - Log[1048576])^(3/2) - (10*(21 - Log[4])^2*Log[4 + x]*Log[(1 - x*Sqrt[2/(21 - Log[4] + Sqrt[185
- 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log
[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) + (10*Log[4 + x]*Log[(1 - x*Sqrt[2/(21 - Lo
g[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2
+ Log[4]^2 - Log[1048576]])])])/Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]] + (40*(8 - Log[2])^2*Log[4 +
x]*Log[(1 + x*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 - Lo
g[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2
) - (10*(21 - Log[4])^2*Log[4 + x]*Log[(1 + x*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[104
8576]])])/(1 - 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^2
 + Log[4]^2 - Log[1048576])^(3/2) + (10*Log[4 + x]*Log[(1 + x*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Lo
g[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/S
qrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]] + (20*(8 - Log[2])^2*Log[21 - 2*x^2 - Log[4] - Sqrt[185 - 4*Lo
g[2]^2 + Log[4]^2 - Log[1048576]]])/((11 + Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4
*Log[2]^2 + Log[4]^2 - Log[1048576])) - (5*(21 - Log[4])*(21 - Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log
[1048576]])*Log[21 - 2*x^2 - Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]]])/((11 + Log[4] + Sqrt[
185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) + (20*(8 - Log[2])^
2*Log[21 - 2*x^2 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]]])/((11 + Log[4] - Sqrt[185 - 4*Lo
g[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])) - (5*(21 - Log[4])*(21 - Log[
4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*Log[21 - 2*x^2 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4
]^2 - Log[1048576]]])/((11 + Log[4] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])*(185 - 4*Log[2]^2 + Lo
g[4]^2 - Log[1048576])) - (40*(8 - Log[2])^2*PolyLog[2, -(((4 + x)*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]
^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576
]])]))])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) + (10*(21 - Log[4])^2*PolyLog[2, -(((4 + x)*Sqrt[2
/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185
- 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]))])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) - (10*PolyLog
[2, -(((4 + x)*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 -
 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]))])/Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048
576]] - (40*(8 - Log[2])^2*PolyLog[2, ((4 + x)*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[
1048576]])])/(1 + 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log
[2]^2 + Log[4]^2 - Log[1048576])^(3/2) + (10*(21 - Log[4])^2*PolyLog[2, ((4 + x)*Sqrt[2/(21 - 2*Log[2] - Sqrt[
185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2
 - Log[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) - (10*PolyLog[2, ((4 + x)*Sqrt[2/(21
- 2*Log[2] - Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(21 - 2*Log[2] - Sqrt[185 - 4*L
og[2]^2 + Log[4]^2 - Log[1048576]])])])/Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]] + (40*(8 - Log[2])^2*
PolyLog[2, -(((4 + x)*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/
(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]))])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[10485
76])^(3/2) - (10*(21 - Log[4])^2*PolyLog[2, -(((4 + x)*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2
- Log[1048576]])])/(1 - 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])]))])/(185 -
4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) + (10*PolyLog[2, -(((4 + x)*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log
[2]^2 + Log[4]^2 - Log[1048576]])])/(1 - 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[104857
6]])]))])/Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]] + (40*(8 - Log[2])^2*PolyLog[2, ((4 + x)*Sqrt[2/(21
 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[
2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576])^(3/2) - (10*(21 - Log[4])^2*
PolyLog[2, ((4 + x)*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1 + 4*Sqrt[2/(2
1 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/(185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]
)^(3/2) + (10*PolyLog[2, ((4 + x)*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])/(1
 + 4*Sqrt[2/(21 - Log[4] + Sqrt[185 - 4*Log[2]^2 + Log[4]^2 - Log[1048576]])])])/Sqrt[185 - 4*Log[2]^2 + Log[4
]^2 - Log[1048576]]

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 12

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

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 206

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1*ArcTanh[(Rt[-b, 2]*x)/Rt[a, 2]])/(Rt[a, 2]*Rt[-b, 2]), x]
 /; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])

Rule 207

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> -Simp[ArcTanh[(Rt[b, 2]*x)/Rt[-a, 2]]/(Rt[-a, 2]*Rt[b, 2]), x] /;
 FreeQ[{a, b}, x] && NegQ[a/b] && (LtQ[a, 0] || GtQ[b, 0])

Rule 260

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

Rule 618

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> Dist[-2, Subst[Int[1/Simp[b^2 - 4*a*c - x^2, x], x]
, x, b + 2*c*x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]

Rule 628

Int[((d_) + (e_.)*(x_))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Simp[(d*Log[RemoveContent[a + b*x +
c*x^2, x]])/b, x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[2*c*d - b*e, 0]

Rule 634

Int[((d_.) + (e_.)*(x_))/((a_) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Dist[(2*c*d - b*e)/(2*c), Int[1/(a +
 b*x + c*x^2), x], x] + Dist[e/(2*c), Int[(b + 2*c*x)/(a + b*x + c*x^2), x], x] /; FreeQ[{a, b, c, d, e}, x] &
& NeQ[2*c*d - b*e, 0] && NeQ[b^2 - 4*a*c, 0] &&  !NiceSqrtQ[b^2 - 4*a*c]

Rule 635

Int[((d_) + (e_.)*(x_))/((a_) + (c_.)*(x_)^2), x_Symbol] :> Dist[d, Int[1/(a + c*x^2), x], x] + Dist[e, Int[x/
(a + c*x^2), x], x] /; FreeQ[{a, c, d, e}, x] &&  !NiceSqrtQ[-(a*c)]

Rule 706

Int[1/(((d_) + (e_.)*(x_))*((a_) + (c_.)*(x_)^2)), x_Symbol] :> Dist[e^2/(c*d^2 + a*e^2), Int[1/(d + e*x), x],
 x] + Dist[1/(c*d^2 + a*e^2), Int[(c*d - c*e*x)/(a + c*x^2), x], x] /; FreeQ[{a, c, d, e}, x] && NeQ[c*d^2 + a
*e^2, 0]

Rule 1166

Int[((d_) + (e_.)*(x_)^2)/((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Di
st[e/2 + (2*c*d - b*e)/(2*q), Int[1/(b/2 - q/2 + c*x^2), x], x] + Dist[e/2 - (2*c*d - b*e)/(2*q), Int[1/(b/2 +
 q/2 + c*x^2), x], x]] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - a*e^2, 0] && PosQ[b^
2 - 4*a*c]

Rule 1247

Int[(x_)*((d_) + (e_.)*(x_)^2)^(q_.)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_.), x_Symbol] :> Dist[1/2, Subst[
Int[(d + e*x)^q*(a + b*x + c*x^2)^p, x], x, x^2], x] /; FreeQ[{a, b, c, d, e, p, q}, x]

Rule 1460

Int[((A_) + (B_.)*(x_)^(m_.))*((d_) + (e_.)*(x_)^(n_))^(q_.)*((a_) + (b_.)*(x_)^(n_) + (c_.)*(x_)^(n2_))^(p_.)
, x_Symbol] :> Dist[A, Int[(d + e*x^n)^q*(a + b*x^n + c*x^(2*n))^p, x], x] + Dist[B, Int[x^m*(d + e*x^n)^q*(a
+ b*x^n + c*x^(2*n))^p, x], x] /; FreeQ[{a, b, c, d, e, A, B, m, n, p, q}, x] && EqQ[n2, 2*n] && EqQ[m - n + 1
, 0]

Rule 2391

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> -Simp[PolyLog[2, -(c*e*x^n)]/n, x] /; FreeQ[{c, d,
 e, n}, x] && EqQ[c*d, 1]

Rule 2393

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Dist[1/g, Subst[Int[(a +
 b*Log[1 + (c*e*x)/g])/x, x], x, f + g*x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[e*f - d*g, 0] && EqQ[g
 + c*(e*f - d*g), 0]

Rule 2394

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Simp[(Log[(e*(f +
g*x))/(e*f - d*g)]*(a + b*Log[c*(d + e*x)^n]))/g, x] - Dist[(b*e*n)/g, Int[Log[(e*(f + g*x))/(e*f - d*g)]/(d +
 e*x), x], x] /; FreeQ[{a, b, c, d, e, f, g, n}, x] && NeQ[e*f - d*g, 0]

Rule 2413

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*(x_)^(m_.)*((f_.) + (g_.)*(x_)^(r_.))^(q_.), x_
Symbol] :> Simp[((f + g*x^r)^(q + 1)*(a + b*Log[c*(d + e*x)^n])^p)/(g*r*(q + 1)), x] - Dist[(b*e*n*p)/(g*r*(q
+ 1)), Int[((f + g*x^r)^(q + 1)*(a + b*Log[c*(d + e*x)^n])^(p - 1))/(d + e*x), x], x] /; FreeQ[{a, b, c, d, e,
 f, g, m, n, q, r}, x] && EqQ[m, r - 1] && NeQ[q, -1] && IGtQ[p, 0]

Rule 2416

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((h_.)*(x_))^(m_.)*((f_) + (g_.)*(x_)^(r_.))^(q
_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*Log[c*(d + e*x)^n])^p, (h*x)^m*(f + g*x^r)^q, x], x] /; FreeQ[{a,
 b, c, d, e, f, g, h, m, n, p, q, r}, x] && IntegerQ[m] && IntegerQ[q]

Rule 2418

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[
(a + b*Log[c*(d + e*x)^n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, d, e, n}, x] && RationalFunct
ionQ[RFx, x] && IntegerQ[p]

Rule 6688

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

Rule 6728

Int[(u_)/((a_.) + (b_.)*(x_)^(n_.) + (c_.)*(x_)^(n2_.)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a +
b*x^n + c*x^(2*n)), x]}, Int[v, x] /; SumQ[v]] /; FreeQ[{a, b, c}, x] && EqQ[n2, 2*n] && IGtQ[n, 0]

Rule 6742

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {210 x^4-10 x^6+\left (160 x^2-20 x^4\right ) \log (2)+x^2 \left (-640-10 \log ^2(2)\right )+\left (-5120 x-1280 x^2+80 x^5+20 x^6+\left (1280 x+320 x^2\right ) \log (2)+\left (-80 x-20 x^2\right ) \log ^2(2)\right ) \log (4+x)}{16384+4096 x-10752 x^2-2688 x^3+2276 x^4+569 x^5-168 x^6-42 x^7+4 x^8+x^9+\left (-8192-2048 x+3712 x^2+928 x^3-464 x^4-116 x^5+16 x^6+4 x^7\right ) \log (2)+\left (1536+384 x-424 x^2-106 x^3+24 x^4+6 x^5\right ) \log ^2(2)+\left (-128-32 x+16 x^2+4 x^3\right ) \log ^3(2)+(4+x) \log ^4(2)} \, dx\\ &=\int \frac {10 x \left (-x \left (x^4+(-8+\log (2))^2+x^2 (-21+\log (4))\right )+2 (4+x) \left (x^4-(-8+\log (2))^2\right ) \log (4+x)\right )}{(4+x) \left (x^4+(-8+\log (2))^2+x^2 (-21+\log (4))\right )^2} \, dx\\ &=10 \int \frac {x \left (-x \left (x^4+(-8+\log (2))^2+x^2 (-21+\log (4))\right )+2 (4+x) \left (x^4-(-8+\log (2))^2\right ) \log (4+x)\right )}{(4+x) \left (x^4+(-8+\log (2))^2+x^2 (-21+\log (4))\right )^2} \, dx\\ &=10 \int \left (\frac {x^2}{(-4-x) \left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )}+\frac {2 x \left (8-x^2-\log (2)\right ) \left (-8-x^2+\log (2)\right ) \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2}\right ) \, dx\\ &=10 \int \frac {x^2}{(-4-x) \left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )} \, dx+20 \int \frac {x \left (8-x^2-\log (2)\right ) \left (-8-x^2+\log (2)\right ) \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2} \, dx\\ &=10 \int \left (\frac {(4-x) \left (-64+16 x^2+16 \log (2)-\log ^2(2)\right )}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right ) \left (16-\log ^2(2)-\log (65536)\right )}-\frac {16}{(4+x) \left (-16+\log ^2(2)+\log (65536)\right )}\right ) \, dx+20 \int \left (\frac {x \log (4+x)}{x^4+(-8+\log (2))^2-x^2 (21-\log (4))}+\frac {x \left (-2 (8-\log (2))^2+x^2 (21-\log (4))\right ) \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2}\right ) \, dx\\ &=\frac {160 \log (4+x)}{16-\log ^2(2)-\log (65536)}+20 \int \frac {x \log (4+x)}{x^4+(-8+\log (2))^2-x^2 (21-\log (4))} \, dx+20 \int \frac {x \left (-2 (8-\log (2))^2+x^2 (21-\log (4))\right ) \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2} \, dx+\frac {10 \int \frac {(4-x) \left (-64+16 x^2+16 \log (2)-\log ^2(2)\right )}{x^4+(-8+\log (2))^2+x^2 (-21+\log (4))} \, dx}{16-\log ^2(2)-\log (65536)}\\ &=\frac {160 \log (4+x)}{16-\log ^2(2)-\log (65536)}+20 \int \left (-\frac {2 x (8-\log (2))^2 \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2}+\frac {x^3 (21-\log (4)) \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2}\right ) \, dx+20 \int \left (-\frac {2 x \log (4+x)}{\sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)} \left (21-2 x^2-\log (4)+\sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)}\right )}-\frac {2 x \log (4+x)}{\sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)} \left (-21+2 x^2+\log (4)+\sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)}\right )}\right ) \, dx-\frac {10 \int \frac {x \left (-64+16 x^2+16 \log (2)-\log ^2(2)\right )}{x^4+(-8+\log (2))^2+x^2 (-21+\log (4))} \, dx}{16-\log ^2(2)-\log (65536)}+\frac {40 \int \frac {-64+16 x^2+16 \log (2)-\log ^2(2)}{x^4+(-8+\log (2))^2+x^2 (-21+\log (4))} \, dx}{16-\log ^2(2)-\log (65536)}\\ &=\frac {160 \log (4+x)}{16-\log ^2(2)-\log (65536)}-\left (40 (8-\log (2))^2\right ) \int \frac {x \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2} \, dx+(20 (21-\log (4))) \int \frac {x^3 \log (4+x)}{\left (x^4+(-8+\log (2))^2-x^2 (21-\log (4))\right )^2} \, dx-\frac {5 \operatorname {Subst}\left (\int \frac {-64+16 x+16 \log (2)-\log ^2(2)}{x^2+(-8+\log (2))^2+x (-21+\log (4))} \, dx,x,x^2\right )}{16-\log ^2(2)-\log (65536)}+\frac {\left (40 \left (8-\frac {104-\log ^2(2)}{\sqrt {185-4 \log ^2(2)+\log ^2(4)-\log (1048576)}}\right )\right ) \int \frac {1}{x^2+\frac {1}{2} (-21+\log (4))+\frac {1}{2} \sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)}} \, dx}{16-\log ^2(2)-\log (65536)}+\frac {\left (40 \left (8+\frac {104-\log ^2(2)}{\sqrt {185-4 \log ^2(2)+\log ^2(4)-\log (1048576)}}\right )\right ) \int \frac {1}{x^2+\frac {1}{2} (-21+\log (4))-\frac {1}{2} \sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)}} \, dx}{16-\log ^2(2)-\log (65536)}-\frac {40 \int \frac {x \log (4+x)}{21-2 x^2-\log (4)+\sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)}} \, dx}{\sqrt {185-4 \log ^2(2)+\log ^2(4)-\log (1048576)}}-\frac {40 \int \frac {x \log (4+x)}{-21+2 x^2+\log (4)+\sqrt {185+64 \log (2)-4 \log ^2(2)-42 \log (4)+\log ^2(4)}} \, dx}{\sqrt {185-4 \log ^2(2)+\log ^2(4)-\log (1048576)}}\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 1.41, size = 29, normalized size = 1.07 \begin {gather*} -\frac {10 x^2 \log (4+x)}{x^4+(-8+\log (2))^2+x^2 (-21+\log (4))} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-640*x^2 + 210*x^4 - 10*x^6 + (160*x^2 - 20*x^4)*Log[2] - 10*x^2*Log[2]^2 + (-5120*x - 1280*x^2 + 8
0*x^5 + 20*x^6 + (1280*x + 320*x^2)*Log[2] + (-80*x - 20*x^2)*Log[2]^2)*Log[4 + x])/(16384 + 4096*x - 10752*x^
2 - 2688*x^3 + 2276*x^4 + 569*x^5 - 168*x^6 - 42*x^7 + 4*x^8 + x^9 + (-8192 - 2048*x + 3712*x^2 + 928*x^3 - 46
4*x^4 - 116*x^5 + 16*x^6 + 4*x^7)*Log[2] + (1536 + 384*x - 424*x^2 - 106*x^3 + 24*x^4 + 6*x^5)*Log[2]^2 + (-12
8 - 32*x + 16*x^2 + 4*x^3)*Log[2]^3 + (4 + x)*Log[2]^4),x]

[Out]

(-10*x^2*Log[4 + x])/(x^4 + (-8 + Log[2])^2 + x^2*(-21 + Log[4]))

________________________________________________________________________________________

fricas [A]  time = 0.69, size = 34, normalized size = 1.26 \begin {gather*} -\frac {10 \, x^{2} \log \left (x + 4\right )}{x^{4} - 21 \, x^{2} + 2 \, {\left (x^{2} - 8\right )} \log \relax (2) + \log \relax (2)^{2} + 64} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-20*x^2-80*x)*log(2)^2+(320*x^2+1280*x)*log(2)+20*x^6+80*x^5-1280*x^2-5120*x)*log(4+x)-10*x^2*log
(2)^2+(-20*x^4+160*x^2)*log(2)-10*x^6+210*x^4-640*x^2)/((4+x)*log(2)^4+(4*x^3+16*x^2-32*x-128)*log(2)^3+(6*x^5
+24*x^4-106*x^3-424*x^2+384*x+1536)*log(2)^2+(4*x^7+16*x^6-116*x^5-464*x^4+928*x^3+3712*x^2-2048*x-8192)*log(2
)+x^9+4*x^8-42*x^7-168*x^6+569*x^5+2276*x^4-2688*x^3-10752*x^2+4096*x+16384),x, algorithm="fricas")

[Out]

-10*x^2*log(x + 4)/(x^4 - 21*x^2 + 2*(x^2 - 8)*log(2) + log(2)^2 + 64)

________________________________________________________________________________________

giac [A]  time = 0.53, size = 36, normalized size = 1.33 \begin {gather*} -\frac {10 \, x^{2} \log \left (x + 4\right )}{x^{4} + 2 \, x^{2} \log \relax (2) - 21 \, x^{2} + \log \relax (2)^{2} - 16 \, \log \relax (2) + 64} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-20*x^2-80*x)*log(2)^2+(320*x^2+1280*x)*log(2)+20*x^6+80*x^5-1280*x^2-5120*x)*log(4+x)-10*x^2*log
(2)^2+(-20*x^4+160*x^2)*log(2)-10*x^6+210*x^4-640*x^2)/((4+x)*log(2)^4+(4*x^3+16*x^2-32*x-128)*log(2)^3+(6*x^5
+24*x^4-106*x^3-424*x^2+384*x+1536)*log(2)^2+(4*x^7+16*x^6-116*x^5-464*x^4+928*x^3+3712*x^2-2048*x-8192)*log(2
)+x^9+4*x^8-42*x^7-168*x^6+569*x^5+2276*x^4-2688*x^3-10752*x^2+4096*x+16384),x, algorithm="giac")

[Out]

-10*x^2*log(x + 4)/(x^4 + 2*x^2*log(2) - 21*x^2 + log(2)^2 - 16*log(2) + 64)

________________________________________________________________________________________

maple [A]  time = 0.65, size = 37, normalized size = 1.37




method result size



norman \(-\frac {10 x^{2} \ln \left (4+x \right )}{x^{4}+2 x^{2} \ln \relax (2)+\ln \relax (2)^{2}-21 x^{2}-16 \ln \relax (2)+64}\) \(37\)
risch \(-\frac {10 x^{2} \ln \left (4+x \right )}{x^{4}+2 x^{2} \ln \relax (2)+\ln \relax (2)^{2}-21 x^{2}-16 \ln \relax (2)+64}\) \(37\)
derivativedivides \(-\frac {10 \ln \left (4+x \right ) \left (4+x \right ) \left (\ln \relax (2)^{2} \left (4+x \right )-16 \left (4+x \right )^{3}-8 \ln \relax (2)^{2}-16 \left (4+x \right ) \ln \relax (2)+256 \left (4+x \right )^{2}+128 \ln \relax (2)-3328-1216 x \right )}{\left (\ln \relax (2)^{2}+16 \ln \relax (2)-16\right ) \left (\left (4+x \right )^{4}+2 \ln \relax (2) \left (4+x \right )^{2}-16 \left (4+x \right )^{3}+\ln \relax (2)^{2}-16 \left (4+x \right ) \ln \relax (2)+75 \left (4+x \right )^{2}+16 \ln \relax (2)-368-88 x \right )}-\frac {160 \ln \left (4+x \right )}{\ln \relax (2)^{2}+16 \ln \relax (2)-16}\) \(135\)
default \(-\frac {10 \ln \left (4+x \right ) \left (4+x \right ) \left (\ln \relax (2)^{2} \left (4+x \right )-16 \left (4+x \right )^{3}-8 \ln \relax (2)^{2}-16 \left (4+x \right ) \ln \relax (2)+256 \left (4+x \right )^{2}+128 \ln \relax (2)-3328-1216 x \right )}{\left (\ln \relax (2)^{2}+16 \ln \relax (2)-16\right ) \left (\left (4+x \right )^{4}+2 \ln \relax (2) \left (4+x \right )^{2}-16 \left (4+x \right )^{3}+\ln \relax (2)^{2}-16 \left (4+x \right ) \ln \relax (2)+75 \left (4+x \right )^{2}+16 \ln \relax (2)-368-88 x \right )}-\frac {160 \ln \left (4+x \right )}{\ln \relax (2)^{2}+16 \ln \relax (2)-16}\) \(135\)



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-20*x^2-80*x)*ln(2)^2+(320*x^2+1280*x)*ln(2)+20*x^6+80*x^5-1280*x^2-5120*x)*ln(4+x)-10*x^2*ln(2)^2+(-20
*x^4+160*x^2)*ln(2)-10*x^6+210*x^4-640*x^2)/((4+x)*ln(2)^4+(4*x^3+16*x^2-32*x-128)*ln(2)^3+(6*x^5+24*x^4-106*x
^3-424*x^2+384*x+1536)*ln(2)^2+(4*x^7+16*x^6-116*x^5-464*x^4+928*x^3+3712*x^2-2048*x-8192)*ln(2)+x^9+4*x^8-42*
x^7-168*x^6+569*x^5+2276*x^4-2688*x^3-10752*x^2+4096*x+16384),x,method=_RETURNVERBOSE)

[Out]

-10*x^2*ln(4+x)/(x^4+2*x^2*ln(2)+ln(2)^2-21*x^2-16*ln(2)+64)

________________________________________________________________________________________

maxima [A]  time = 0.47, size = 34, normalized size = 1.26 \begin {gather*} -\frac {10 \, x^{2} \log \left (x + 4\right )}{x^{4} + x^{2} {\left (2 \, \log \relax (2) - 21\right )} + \log \relax (2)^{2} - 16 \, \log \relax (2) + 64} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-20*x^2-80*x)*log(2)^2+(320*x^2+1280*x)*log(2)+20*x^6+80*x^5-1280*x^2-5120*x)*log(4+x)-10*x^2*log
(2)^2+(-20*x^4+160*x^2)*log(2)-10*x^6+210*x^4-640*x^2)/((4+x)*log(2)^4+(4*x^3+16*x^2-32*x-128)*log(2)^3+(6*x^5
+24*x^4-106*x^3-424*x^2+384*x+1536)*log(2)^2+(4*x^7+16*x^6-116*x^5-464*x^4+928*x^3+3712*x^2-2048*x-8192)*log(2
)+x^9+4*x^8-42*x^7-168*x^6+569*x^5+2276*x^4-2688*x^3-10752*x^2+4096*x+16384),x, algorithm="maxima")

[Out]

-10*x^2*log(x + 4)/(x^4 + x^2*(2*log(2) - 21) + log(2)^2 - 16*log(2) + 64)

________________________________________________________________________________________

mupad [F(-1)]  time = 0.00, size = -1, normalized size = -0.04 \begin {gather*} \text {Hanged} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(10*x^2*log(2)^2 + log(x + 4)*(5120*x - log(2)*(1280*x + 320*x^2) + log(2)^2*(80*x + 20*x^2) + 1280*x^2 -
 80*x^5 - 20*x^6) - log(2)*(160*x^2 - 20*x^4) + 640*x^2 - 210*x^4 + 10*x^6)/(4096*x + log(2)^4*(x + 4) + log(2
)^2*(384*x - 424*x^2 - 106*x^3 + 24*x^4 + 6*x^5 + 1536) - log(2)*(2048*x - 3712*x^2 - 928*x^3 + 464*x^4 + 116*
x^5 - 16*x^6 - 4*x^7 + 8192) - log(2)^3*(32*x - 16*x^2 - 4*x^3 + 128) - 10752*x^2 - 2688*x^3 + 2276*x^4 + 569*
x^5 - 168*x^6 - 42*x^7 + 4*x^8 + x^9 + 16384),x)

[Out]

\text{Hanged}

________________________________________________________________________________________

sympy [B]  time = 0.45, size = 39, normalized size = 1.44 \begin {gather*} - \frac {10 x^{2} \log {\left (x + 4 \right )}}{x^{4} - 21 x^{2} + 2 x^{2} \log {\relax (2 )} - 16 \log {\relax (2 )} + \log {\relax (2 )}^{2} + 64} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-20*x**2-80*x)*ln(2)**2+(320*x**2+1280*x)*ln(2)+20*x**6+80*x**5-1280*x**2-5120*x)*ln(4+x)-10*x**2
*ln(2)**2+(-20*x**4+160*x**2)*ln(2)-10*x**6+210*x**4-640*x**2)/((4+x)*ln(2)**4+(4*x**3+16*x**2-32*x-128)*ln(2)
**3+(6*x**5+24*x**4-106*x**3-424*x**2+384*x+1536)*ln(2)**2+(4*x**7+16*x**6-116*x**5-464*x**4+928*x**3+3712*x**
2-2048*x-8192)*ln(2)+x**9+4*x**8-42*x**7-168*x**6+569*x**5+2276*x**4-2688*x**3-10752*x**2+4096*x+16384),x)

[Out]

-10*x**2*log(x + 4)/(x**4 - 21*x**2 + 2*x**2*log(2) - 16*log(2) + log(2)**2 + 64)

________________________________________________________________________________________