Pow coth x3 Add Pow Mul x5 asech acot x4 x0 Add pi Mul csch x0 x0 
Mul Pow coth x3 Add Add Pow Mul x5 asech acot x4 x0 Add pi Mul csch x0 x0 -1 Mul Mul coth x3 log coth x3 Add Mul Pow Mul x5 asech acot x4 Add x0 -1 Mul Mul x5 asech acot x4 log Mul x5 asech acot x4 Add Mul x0 Mul Mul -1 coth x0 csch x0 csch x0 