[seqfan] Another BBP formula for ln(2) ?

[Alexander Povolotsky]

Hi,

Happy 4th to All and Everyone !

FYI - I came up with the following exact BBP formula for ln(2)

log(2)=
(230166911/9240 -
- Sum((1/2)^k*
(11/k+10/(k+1)+9/(k+2)+8/(k+3)+7/(k+4)+6/(k+5)-6/(k+7)-7/(k+8)-8/(k+9)-9/(k+10)-10/(k+11)),
 k = 1 .. infinity))/35917

Could it be reduced to already known BBP variants for ln(2) ?

Cheers,
Alexander R. Povolotsky