Mul Mul Pow sqrt acoth x0 x6 Pow asin atanh Pow x0 x0 coth x0 atanh x5 
Mul atanh x5 Add Mul Pow asin atanh Pow x0 x0 coth x0 Mul Pow sqrt acoth x0 Add x6 -1 Mul x6 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow sqrt acoth x0 x6 Mul Pow asin atanh Pow x0 x0 Add coth x0 -1 Add Mul coth x0 Mul Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh Pow x0 x0 atanh Pow x0 x0 -1 Mul Mul asin atanh Pow x0 x0 log asin atanh Pow x0 x0 Mul -1 Pow csch x0 2 