Mul Add x0 Pow Pow coth x0 acos x1 0.863691154450617 acsch pi 
Mul acsch pi Add 1 Mul Pow Pow coth x0 acos x1 -0.136308845549383 Mul 0.863691154450617 Mul Pow coth x0 Add acos x1 -1 Mul acos x1 Mul -1 Pow csch x0 2 