limit(-Li_2(-e^x)-x^2/2,x-> inf)