Pow sqrt x0 Add Add sin csch x0 x0 acoth acoth x6 
Mul Pow sqrt x0 Add Add Add sin csch x0 x0 acoth acoth x6 -1 Add Mul Add Add sin csch x0 x0 acoth acoth x6 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Add Mul cos csch x0 Mul Mul -1 coth x0 csch x0 1 