cosh acoth Add Pow coth x0 -4 acos x5 
Mul sinh acoth Add Pow coth x0 -4 acos x5 Mul Mul Pow coth x0 5 Mul -4 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Add Pow coth x0 -4 acos x5 Add Pow coth x0 -4 acos x5 -1 