See acosh.html