In [Ritt 1948] p. 53 - 56, the method of J. Liouville is given for Kepler's equation. The same method can be applied to functions $f$ with $f(z)=A(z,e^z)$ ($A$ an algebraic function of two complex variables with complex coefficients), to functions $g$ with $g(z)=A(z,\ln(z))$, and generally to functions $h$ with $h(z)=u(A(v(z),e^{v(z)}))$ ($u,v$ bijective <a href="https://en.wikipedia.org/wiki/Elementary_function">elementary functions</a> whose inverses are elementary functions) with a complex domain that doesn't contain isolated points. An example is Lambert W. [Ritt 1948] Ritt, J. F.: Integration in finite terms. Liouville's theory of elementary methods. 1948 A further method is the method of <a href="https://eudml.org/doc/103891">Rosenlicht, M.: On the explicit solvability of certain transcendental equations. Publications mathématiques de l'IHÉS 36 (1969) 15-22</a>. It is a byproduct of Liouville's theory of integration in finite terms. It is written in the language of Differential algebra, but it can be represented also without that. This method is applicable only for functions satisfying a differential equation that is simple enough. A reference for Kepler's equation is <a href="http://mat.uab.es/pubmat/volums/update_navegador/volum_id:26">Zarzuela Armengou, S.: About some questions of differential algebra concerning to elementary functions. Pub. Mat. UAB 26 (1982) (1) 5-15</a>. A reference for Lambert W function is Bronstein/Corless/Davenport/Jeffrey 2008 from the answer of Igor Khavkine above. The branches of Lambert W are the local inverses of the Elementary function $f$ with $f(z)=ze^z$, $z \in \mathbb{C}$. The incomprehensibly unfortunately hardly noticed theorem of Joseph Fels Ritt in <a href="https://doi.org/10.1090/S0002-9947-1925-1501299-9">Ritt, J. F.: Elementary functions and their inverses. Trans. Amer. Math. Soc. 27 (1925) (1) 68-90</a> answers which kinds of Elementary functions can have an inverse which is an Elementary function. And Ritt's theorem shows that no antiderivatives, no differentiation and no differential fields are needed for defining the Elementary functions. Ritt's theorem is proved also in <a href="https://www.jstor.org/stable/2373917?seq=1#page_scan_tab_contents">Risch, R. H.: Algebraic Properties of the Elementary Functions of Analysis. Amer. J. Math 101 (1979) (4) 743-759</a>. By extension of Risch's structure theorem for the elementary functions, Ritt's theorem could possibly be extended to other and to larger classes of functions, as I proposed in my question here: https://mathoverflow.net/questions/320801/how-to-extend-ritts-theorem-on-elementary-invertible-bijective-elementary-funct.