Pow acoth Add csch x0 Add x0 x0 Mul pi exp atanh pi 
Mul Pow acoth Add csch x0 Add x0 x0 Add Mul pi exp atanh pi -1 Mul Mul pi exp atanh pi Mul Add Mul Mul -1 coth x0 csch x0 2 Pow Add 1 Mul -1 Mul Add csch x0 Add x0 x0 Add csch x0 Add x0 x0 -1 