Mul asech pi Add acsc Mul Pow Pow csch x0 32 Mul x5 Mul E x0 Add coth asech x0 2 Mul x0 x1 
Mul asech pi Add Mul -1 Mul Add Mul Add coth asech x0 2 Mul Pow Pow csch x0 32 Add Mul x5 Mul E x0 -1 Add Mul Mul x5 Mul E x0 Mul Pow csch x0 31 Mul 32 Mul Mul -1 coth x0 csch x0 Mul Mul Pow csch x0 32 log Pow csch x0 32 Mul x5 E Mul Pow Pow csch x0 32 Mul x5 Mul E x0 Mul Mul -1 Pow csch asech x0 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow Pow csch x0 32 Mul x5 Mul E x0 Add coth asech x0 2 Mul Pow Pow csch x0 32 Mul x5 Mul E x0 Add coth asech x0 2 -1 Mul Pow Pow csch x0 32 Mul x5 Mul E x0 Add coth asech x0 2 Mul Pow Pow csch x0 32 Mul x5 Mul E x0 Add coth asech x0 2 -1 x1 