>>48 -log(x+√(x^2+1))か？何か違う気がするが。