Hi, it seems Maxima doesn't know the Lambert W function, see http://en.wikipedia.org/wiki/Lambert_W_function With that function one could enhance "solve" to handle also for example e^x - x = a. (I needed such a case, and my old Mupad implementation returned the solution using that W-function, which I found helpful.) Oliver