Add Pow Pow x0 x6 x4 coth asech coth x0 
Add Mul Pow Pow x0 x6 Add x4 -1 Mul x4 Mul Pow x0 Add x6 -1 x6 Mul Mul -1 Pow csch asech coth x0 2 Mul Mul -1 Pow csch x0 2 Pow Mul Mul coth x0 coth x0 sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 -1 