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