Mul -3 Pow Pow Pow pi coth x0 x0 asech Mul x0 x7 
Mul -3 Mul Pow Pow Pow pi coth x0 x0 Add asech Mul x0 x7 -1 Add Mul asech Mul x0 x7 Mul Pow Pow pi coth x0 Add x0 -1 Add Mul x0 Mul Pow pi Add coth x0 -1 Mul Mul pi log pi Mul -1 Pow csch x0 2 Mul Pow pi coth x0 log Pow pi coth x0 Mul Mul Pow Pow pi coth x0 x0 log Pow Pow pi coth x0 x0 Mul x7 Pow Mul Mul Mul x0 x7 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 x7 Mul x0 x7 -1 -1 