sum (x-i) 2^(-i) i^2 for i=1..x