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