Pow Pow csc csch x0 3 atan sinh x0 
Mul Pow Pow csc csch x0 3 Add atan sinh x0 -1 Add Mul atan sinh x0 Mul Pow csc csch x0 2 Mul 3 Mul Mul Mul -1 cot csch x0 csc csch x0 Mul Mul -1 coth x0 csch x0 Mul Mul Pow csc csch x0 3 log Pow csc csch x0 3 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 