The infinite power tower function can be represented in terms of the "Lambert W" special function which is implemented in Sage as lambert_w. See equation (13) of this Mathworld article.