Pow atanh acosh log x0 1.55740772465490 
Mul Pow atanh acosh log x0 0.557407724654902 Mul 1.55740772465490 Mul Mul Pow x0 -1 Pow Mul sqrt Add log x0 -1 sqrt Add 1 log x0 -1 Pow Add 1 Mul -1 Mul acosh log x0 acosh log x0 -1 