sinh Mul x0 Pow x7 asinh csch x0 
Mul cosh Mul x0 Pow x7 asinh csch x0 Add Pow x7 asinh csch x0 Mul x0 Mul Pow x7 Add asinh csch x0 -1 Mul Mul x7 log x7 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul csch x0 csch x0 -1 