csch Pow Add x0 1 acos x0 
Mul Mul Mul -1 coth Pow Add x0 1 acos x0 csch Pow Add x0 1 acos x0 Mul Pow Add x0 1 Add acos x0 -1 Add acos x0 Mul Mul Add x0 1 log Add x0 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 