Mul x0 Add Add Add x7 Mul asec coth x0 x6 0.252680255142079 3.76219569108363 
Add Add Add Add x7 Mul asec coth x0 x6 0.252680255142079 3.76219569108363 Mul x0 Mul x6 Mul Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 coth x0 coth x0 -1 