Mul Mul Pow cosh x7 Add x0 x0 -5 Add acoth x0 4 
Add Mul Add acoth x0 4 Mul -5 Mul Pow cosh x7 Add Add x0 x0 -1 Mul Mul cosh x7 log cosh x7 2 Mul Mul Pow cosh x7 Add x0 x0 -5 Pow Add 1 Mul -1 Mul x0 x0 -1 