(sum -1/(2^n * n) for n=1 to 13) - ln(1/ 2)