acos Mul acot coth x0 Add pi x4 
Mul -1 Mul Mul Add pi x4 Mul -1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acot coth x0 Add pi x4 Mul acot coth x0 Add pi x4 -1 