Mul x0 Mul x0 Pow x0 asec Pow Mul x0 coth x0 x1 
Add Mul x0 Pow x0 asec Pow Mul x0 coth x0 x1 Mul x0 Add Pow x0 asec Pow Mul x0 coth x0 x1 Mul x0 Mul Pow x0 Add asec Pow Mul x0 coth x0 x1 -1 Add asec Pow Mul x0 coth x0 x1 Mul Mul x0 log x0 Mul Mul Pow Mul x0 coth x0 Add x1 -1 Mul x1 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 coth x0 x1 Pow Mul x0 coth x0 x1 -1 Pow Mul x0 coth x0 x1 Pow Mul x0 coth x0 x1 -1 