Add Mul csch x0 Pow exp x0 coth Mul -2 x0 Add acoth Mul 2 x5 -5 
Add Mul Pow exp x0 coth Mul -2 x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 Mul Pow exp x0 Add coth Mul -2 x0 -1 Add Mul coth Mul -2 x0 exp x0 Mul Mul exp x0 log exp x0 Mul Mul -1 Pow csch Mul -2 x0 2 -2 