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