How do you evaluate ln(ln e^(e^500))?