Pow sec Mul x6 x4 sqrt Mul x7 coth csch x0 
Mul Pow sec Mul x6 x4 Add sqrt Mul x7 coth csch x0 -1 Mul Mul sec Mul x6 x4 log sec Mul x6 x4 Mul Pow Mul 2 sqrt Mul x7 coth csch x0 -1 Mul x7 Mul Mul -1 Pow csch csch x0 2 Mul Mul -1 coth x0 csch x0 