Mul Mul x0 Mul Pow x0 coth E Add asin coth x0 1 asech x0 
Add Mul asech x0 Add Mul Pow x0 coth E Add asin coth x0 1 Mul x0 Add Mul Add asin coth x0 1 Mul Pow x0 Add coth E -1 coth E Mul Pow x0 coth E Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 Mul Mul x0 Mul Pow x0 coth E Add asin coth x0 1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 