积分:∫(0到y)d(e^y) / √(e^2y-1) 怎么就得到ln(e^y+√(e^2y-1))了?