Mul E asec Mul coth Mul coth x1 coth x0 x3 
Mul E Mul Mul x3 Mul Mul -1 Pow csch Mul coth x1 coth x0 2 Mul coth x1 Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul coth Mul coth x1 coth x0 x3 Mul coth Mul coth x1 coth x0 x3 -1 Mul coth Mul coth x1 coth x0 x3 Mul coth Mul coth x1 coth x0 x3 -1 