Mul Pow acsch asec Pow x0 Pow x1 coth x7 Add Add x6 2 x0 acoth acsch log Mul x0 -2 
Add Mul acoth acsch log Mul x0 -2 Mul Pow acsch asec Pow x0 Pow x1 coth x7 Add Add Add x6 2 x0 -1 Add Mul Add Add x6 2 x0 Mul Mul -1 Mul Mul Pow x0 Add Pow x1 coth x7 -1 Pow x1 coth x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 Pow x1 coth x7 Pow x0 Pow x1 coth x7 -1 Pow x0 Pow x1 coth x7 Pow x0 Pow x1 coth x7 -1 Pow Mul Mul asec Pow x0 Pow x1 coth x7 asec Pow x0 Pow x1 coth x7 sqrt Add 1 Mul -1 Pow Mul asec Pow x0 Pow x1 coth x7 asec Pow x0 Pow x1 coth x7 -1 -1 Mul acsch asec Pow x0 Pow x1 coth x7 log acsch asec Pow x0 Pow x1 coth x7 Mul Pow acsch asec Pow x0 Pow x1 coth x7 Add Add x6 2 x0 Mul Mul Mul -1 Mul -2 Pow Mul x0 -2 -1 Pow Mul Mul log Mul x0 -2 log Mul x0 -2 sqrt Add 1 Mul -1 Pow Mul log Mul x0 -2 log Mul x0 -2 -1 -1 Pow Add 1 Mul -1 Mul acsch log Mul x0 -2 acsch log Mul x0 -2 -1 