cosh exp Pow Mul acos x0 x0 csch x0 
Mul sinh exp Pow Mul acos x0 x0 csch x0 Mul exp Pow Mul acos x0 x0 csch x0 Mul Pow Mul acos x0 x0 Add csch x0 -1 Add Mul csch x0 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acos x0 Mul Mul Mul acos x0 x0 log Mul acos x0 x0 Mul Mul -1 coth x0 csch x0 