cosh Mul coth cosh x0 coth Add Mul 1.73205080756888 x0 x0 
Mul sinh Mul coth cosh x0 coth Add Mul 1.73205080756888 x0 x0 Add Mul coth Add Mul 1.73205080756888 x0 x0 Mul Mul -1 Pow csch cosh x0 2 sinh x0 Mul coth cosh x0 Mul Mul -1 Pow csch Add Mul 1.73205080756888 x0 x0 2 2.73205080756888 