acos coth Mul 2 Pow Mul csch Add 1 x0 x7 x0 
Mul -1 Mul Mul Mul -1 Pow csch Mul 2 Pow Mul csch Add 1 x0 x7 x0 2 Mul 2 Mul Pow Mul csch Add 1 x0 x7 Add x0 -1 Add Mul x0 Mul x7 Mul Mul -1 coth Add 1 x0 csch Add 1 x0 Mul Mul csch Add 1 x0 x7 log Mul csch Add 1 x0 x7 Pow sqrt Add 1 Mul -1 Mul coth Mul 2 Pow Mul csch Add 1 x0 x7 x0 coth Mul 2 Pow Mul csch Add 1 x0 x7 x0 -1 