exp(-W(-1, -1/x))/x == -W(-1, -1/x)