Add Pow sqrt Mul acsch x1 sinh x0 cos coth x0 cosh x0 
Add Mul Pow sqrt Mul acsch x1 sinh x0 Add cos coth x0 -1 Add Mul cos coth x0 Mul Pow Mul 2 sqrt Mul acsch x1 sinh x0 -1 Mul acsch x1 cosh x0 Mul Mul sqrt Mul acsch x1 sinh x0 log sqrt Mul acsch x1 sinh x0 Mul Mul -1 sin coth x0 Mul -1 Pow csch x0 2 sinh x0 