Mul 3 acsc coth Pow x1 x0 
Mul 3 Mul -1 Mul Mul Mul -1 Pow csch Pow x1 x0 2 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth Pow x1 x0 coth Pow x1 x0 -1 coth Pow x1 x0 coth Pow x1 x0 -1 