Add x0 Add -1 csch Pow acsch acos x1 coth x0 
Add 1 Mul Mul Mul -1 coth Pow acsch acos x1 coth x0 csch Pow acsch acos x1 coth x0 Mul Pow acsch acos x1 Add coth x0 -1 Mul Mul acsch acos x1 log acsch acos x1 Mul -1 Pow csch x0 2 