asinh Mul x0 Add Pow sech Pow acoth x2 x0 Add x0 2 x3 
Mul Add Add Pow sech Pow acoth x2 x0 Add x0 2 x3 Mul x0 Mul Pow sech Pow acoth x2 x0 Add Add x0 2 -1 Add Mul Add x0 2 Mul Mul tanh Pow acoth x2 x0 Mul -1 sech Pow acoth x2 x0 Mul Pow acoth x2 Add x0 -1 Mul acoth x2 log acoth x2 Mul sech Pow acoth x2 x0 log sech Pow acoth x2 x0 Pow sqrt Add 1 Mul Mul x0 Add Pow sech Pow acoth x2 x0 Add x0 2 x3 Mul x0 Add Pow sech Pow acoth x2 x0 Add x0 2 x3 -1 