Mul cos Mul acoth x2 Pow Add x0 sinh x0 8 Mul Add x0 x7 -4 
Add Mul Mul Add x0 x7 -4 Mul Mul -1 sin Mul acoth x2 Pow Add x0 sinh x0 8 Mul acoth x2 Mul Pow Add x0 sinh x0 7 Mul 8 Add 1 cosh x0 Mul cos Mul acoth x2 Pow Add x0 sinh x0 8 -4 