Это функция,обратная к y=x*e^x, т.е. удовлетворяет соотношению x=W(x)*e^W(x) и в элементарных функциях не выражается.