sinh acot Pow Mul Mul csch x0 Add Pow x0 exp x0 x0 x5 x7 
Mul cosh acot Pow Mul Mul csch x0 Add Pow x0 exp x0 x0 x5 x7 Mul -1 Mul Mul Pow Mul Mul csch x0 Add Pow x0 exp x0 x0 x5 Add x7 -1 Mul x7 Mul x5 Add Mul Add Pow x0 exp x0 x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 Add Mul Pow x0 Add exp x0 -1 Add exp x0 Mul Mul x0 log x0 exp x0 1 Pow Add 1 Mul Pow Mul Mul csch x0 Add Pow x0 exp x0 x0 x5 x7 Pow Mul Mul csch x0 Add Pow x0 exp x0 x0 x5 x7 -1 