-4^3 \sum from i=0 to 3 ((-1)^i/(3+i+1)^2 binomial(3,i) (1+2^(-3-i)