atanh Mul asec Add x0 x0 asinh cosh log x0 
Mul Add Mul asinh cosh log x0 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 Add x0 x0 Add x0 x0 -1 Mul asec Add x0 x0 Mul Mul sinh log x0 Pow x0 -1 Pow sqrt Add 1 Mul cosh log x0 cosh log x0 -1 Pow Add 1 Mul -1 Mul Mul asec Add x0 x0 asinh cosh log x0 Mul asec Add x0 x0 asinh cosh log x0 -1 