Mul Pow x0 0.815761703334352 Add Pow Pow acos x0 x1 coth x0 4 
Add Mul Add Pow Pow acos x0 x1 coth x0 4 Mul Pow x0 -0.184238296665648 0.815761703334352 Mul Pow x0 0.815761703334352 Mul Pow Pow acos x0 x1 Add coth x0 -1 Add Mul coth x0 Mul Pow acos x0 Add x1 -1 Mul x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow acos x0 x1 log Pow acos x0 x1 Mul -1 Pow csch x0 2 