integral x/(2^x) dx