Pow Add x0 sinh asech Pow sqrt Mul x0 x2 coth x7 x0 
Mul Pow Add x0 sinh asech Pow sqrt Mul x0 x2 coth x7 Add x0 -1 Add Mul x0 Add 1 Mul cosh asech Pow sqrt Mul x0 x2 coth x7 Mul Mul Pow sqrt Mul x0 x2 Add coth x7 -1 Mul coth x7 Mul Pow Mul 2 sqrt Mul x0 x2 -1 x2 Pow Mul Mul Pow sqrt Mul x0 x2 coth x7 Pow sqrt Mul x0 x2 coth x7 sqrt Add 1 Mul -1 Pow Mul Pow sqrt Mul x0 x2 coth x7 Pow sqrt Mul x0 x2 coth x7 -1 -1 Mul Add x0 sinh asech Pow sqrt Mul x0 x2 coth x7 log Add x0 sinh asech Pow sqrt Mul x0 x2 coth x7 