acosh(x)=log(x+x2−1)