Add Pow cos csch x0 Pow x1 Pow atan Pow x7 x0 x0 Pow atan Pow acoth x0 x0 x0 
Add Mul Pow cos csch x0 Add Pow x1 Pow atan Pow x7 x0 x0 -1 Add Mul Pow x1 Pow atan Pow x7 x0 x0 Mul Mul -1 sin csch x0 Mul Mul -1 coth x0 csch x0 Mul Mul cos csch x0 log cos csch x0 Mul Pow x1 Add Pow atan Pow x7 x0 x0 -1 Mul Mul x1 log x1 Mul Pow atan Pow x7 x0 Add x0 -1 Add Mul x0 Mul Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Add 1 Mul Pow x7 x0 Pow x7 x0 -1 Mul atan Pow x7 x0 log atan Pow x7 x0 Mul Pow atan Pow acoth x0 x0 Add x0 -1 Add Mul x0 Mul Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 Pow Add 1 Mul Pow acoth x0 x0 Pow acoth x0 x0 -1 Mul atan Pow acoth x0 x0 log atan Pow acoth x0 x0 