Mul sqrt Mul acos coth x0 exp x0 x0 
Add Mul x0 Mul Pow Mul 2 sqrt Mul acos coth x0 exp x0 -1 Add Mul exp x0 Mul -1 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 Mul acos coth x0 exp x0 sqrt Mul acos coth x0 exp x0 