Pow Add acot x1 acos x1 Pow Pow x1 acos Add csch csch x0 x0 x2 
Mul Pow Add acot x1 acos x1 Add Pow Pow x1 acos Add csch csch x0 x0 x2 -1 Mul Mul Add acot x1 acos x1 log Add acot x1 acos x1 Mul Pow Pow x1 acos Add csch csch x0 x0 Add x2 -1 Mul x2 Mul Pow x1 Add acos Add csch csch x0 x0 -1 Mul Mul x1 log x1 Mul -1 Mul Add Mul Mul Mul -1 coth csch x0 csch csch x0 Mul Mul -1 coth x0 csch x0 1 Pow sqrt Add 1 Mul -1 Mul Add csch csch x0 x0 Add csch csch x0 x0 -1 