Mul Pow cosh Mul asec x0 pi cosh Add x0 x0 csch x0 
Add Mul csch x0 Mul Pow cosh Mul asec x0 pi Add cosh Add x0 x0 -1 Add Mul cosh Add x0 x0 Mul sinh Mul asec x0 pi Mul pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul cosh Mul asec x0 pi log cosh Mul asec x0 pi Mul sinh Add x0 x0 2 Mul Pow cosh Mul asec x0 pi cosh Add x0 x0 Mul Mul -1 coth x0 csch x0 