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