acsch coth Mul Pow x0 x2 x3 
Mul Mul -1 Mul Mul -1 Pow csch Mul Pow x0 x2 x3 2 Mul x3 Mul Pow x0 Add x2 -1 x2 Pow Mul Mul coth Mul Pow x0 x2 x3 coth Mul Pow x0 x2 x3 sqrt Add 1 Mul -1 Pow Mul coth Mul Pow x0 x2 x3 coth Mul Pow x0 x2 x3 -1 -1 