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