Add Pow Mul -2 Mul coth x0 x7 acoth Add Mul 2.07249527010645 x0 x0 acosh x4 
Mul Pow Mul -2 Mul coth x0 x7 Add acoth Add Mul 2.07249527010645 x0 x0 -1 Add Mul acoth Add Mul 2.07249527010645 x0 x0 Mul -2 Mul x7 Mul -1 Pow csch x0 2 Mul Mul Mul -2 Mul coth x0 x7 log Mul -2 Mul coth x0 x7 Mul 3.07249527010645 Pow Add 1 Mul -1 Mul Add Mul 2.07249527010645 x0 x0 Add Mul 2.07249527010645 x0 x0 -1 