acsch Pow asin coth x1 x0 
Mul Mul -1 Mul Pow asin coth x1 Add x0 -1 Mul asin coth x1 log asin coth x1 Pow Mul Mul Pow asin coth x1 x0 Pow asin coth x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow asin coth x1 x0 Pow asin coth x1 x0 -1 -1 