Pow acosh Add Add coth x0 Pow acos sqrt x0 E -2 Pow cosh x0 x0 
Mul Pow acosh Add Add coth x0 Pow acos sqrt x0 E -2 Add Pow cosh x0 x0 -1 Add Mul Pow cosh x0 x0 Mul Add Mul -1 Pow csch x0 2 Mul Pow acos sqrt x0 Add E -1 Mul E Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Pow Mul sqrt Add Add Add coth x0 Pow acos sqrt x0 E -2 -1 sqrt Add 1 Add Add coth x0 Pow acos sqrt x0 E -2 -1 Mul Mul acosh Add Add coth x0 Pow acos sqrt x0 E -2 log acosh Add Add coth x0 Pow acos sqrt x0 E -2 Mul Pow cosh x0 Add x0 -1 Add Mul x0 sinh x0 Mul cosh x0 log cosh x0 