Mul acoth x0 Add Add Pow asec E x0 Add Mul coth x0 Mul 2 x0 x0 Mul x0 8165619676597685 
Add Mul Add Add Pow asec E x0 Add Mul coth x0 Mul 2 x0 x0 Mul x0 8165619676597685 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Add Add Mul Pow asec E Add x0 -1 Mul asec E log asec E Add Add Mul Mul 2 x0 Mul -1 Pow csch x0 2 Mul coth x0 2 1 8165619676597685 