e^(-W(e^x)+x)-W(e^x)+x