Mul Add Mul x6 x0 x7 Mul Add acoth Add -2 Add x0 E acoth x7 Mul cosh x0 acoth x4 
Add Mul Mul Add acoth Add -2 Add x0 E acoth x7 Mul cosh x0 acoth x4 x6 Mul Add Mul x6 x0 x7 Add Mul Mul cosh x0 acoth x4 Pow Add 1 Mul -1 Mul Add -2 Add x0 E Add -2 Add x0 E -1 Mul Add acoth Add -2 Add x0 E acoth x7 Mul acoth x4 sinh x0 