sinh Mul x0 Add Pow Add csch x0 x0 x0 x1 
Mul cosh Mul x0 Add Pow Add csch x0 x0 x0 x1 Add Add Pow Add csch x0 x0 x0 x1 Mul x0 Mul Pow Add csch x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul -1 coth x0 csch x0 1 Mul Add csch x0 x0 log Add csch x0 x0 