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