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