Pow Mul x4 csch Add x0 coth x0 Pow asec E atanh Add x7 acos acoth acsc x1 
Mul Pow Mul x4 csch Add x0 coth x0 Add Pow asec E atanh Add x7 acos acoth acsc x1 -1 Mul Pow asec E atanh Add x7 acos acoth acsc x1 Mul x4 Mul Mul Mul -1 coth Add x0 coth x0 csch Add x0 coth x0 Add 1 Mul -1 Pow csch x0 2 