sec acot Pow 3 log csch x0 
Mul Mul tan acot Pow 3 log csch x0 sec acot Pow 3 log csch x0 Mul -1 Mul Mul Pow 3 Add log csch x0 -1 Mul 4.09861228866811 Mul Mul Mul -1 coth x0 csch x0 Pow csch x0 -1 Pow Add 1 Mul Pow 3 log csch x0 Pow 3 log csch x0 -1 