Pow Mul acos x3 coth Mul x0 -0.999909204262595 Add 3 Mul x0 acsch x0 
Mul Pow Mul acos x3 coth Mul x0 -0.999909204262595 Add Add 3 Mul x0 acsch x0 -1 Add Mul Add 3 Mul x0 acsch x0 Mul acos x3 Mul Mul -1 Pow csch Mul x0 -0.999909204262595 2 -0.999909204262595 Mul Mul Mul acos x3 coth Mul x0 -0.999909204262595 log Mul acos x3 coth Mul x0 -0.999909204262595 Add acsch x0 Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 