Mul acot Add csch acoth coth x0 x0 Mul atanh acosh exp x5 x0 
Add Mul Mul atanh acosh exp x5 x0 Mul -1 Mul Add Mul Mul Mul -1 coth acoth coth x0 csch acoth coth x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 1 Pow Add 1 Mul Add csch acoth coth x0 x0 Add csch acoth coth x0 x0 -1 Mul acot Add csch acoth coth x0 x0 atanh acosh exp x5 