Mul Pow x0 x7 sinh Add Mul x0 acoth x0 Mul sinh x0 x6 
Add Mul sinh Add Mul x0 acoth x0 Mul sinh x0 x6 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 Mul cosh Add Mul x0 acoth x0 Mul sinh x0 x6 Add Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul x6 cosh x0 