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