integrate x(2^(-x))dx