Pow Pow Add x0 x0 x0 acoth Mul Add coth x0 x1 asin acos x0 
Mul Pow Pow Add x0 x0 x0 Add acoth Mul Add coth x0 x1 asin acos x0 -1 Add Mul acoth Mul Add coth x0 x1 asin acos x0 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 Mul Mul Pow Add x0 x0 x0 log Pow Add x0 x0 x0 Mul Add Mul asin acos x0 Mul -1 Pow csch x0 2 Mul Add coth x0 x1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Pow Add 1 Mul -1 Mul Mul Add coth x0 x1 asin acos x0 Mul Add coth x0 x1 asin acos x0 -1 