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