Mul x4 atan Mul Mul sinh E x0 coth atan Mul coth x6 x0 
Mul x4 Mul Add Mul coth atan Mul coth x6 x0 sinh E Mul Mul sinh E x0 Mul Mul -1 Pow csch atan Mul coth x6 x0 2 Mul coth x6 Pow Add 1 Mul Mul coth x6 x0 Mul coth x6 x0 -1 Pow Add 1 Mul Mul Mul sinh E x0 coth atan Mul coth x6 x0 Mul Mul sinh E x0 coth atan Mul coth x6 x0 -1 