Mul 2 Add x0 Pow pi Pow Pow asech x3 x0 coth x0 
Mul 2 Add 1 Mul Pow pi Add Pow Pow asech x3 x0 coth x0 -1 Mul Mul pi log pi Mul Pow Pow asech x3 x0 Add coth x0 -1 Add Mul coth x0 Mul Pow asech x3 Add x0 -1 Mul asech x3 log asech x3 Mul Mul Pow asech x3 x0 log Pow asech x3 x0 Mul -1 Pow csch x0 2 