Add Add Pow Mul acos acoth x0 Pow x7 cosh x0 5 sinh Add x0 -2 Add x0 Add x7 Pow 2 x0 
Add Add Mul Pow Mul acos acoth x0 Pow x7 cosh x0 4 Mul 5 Add Mul Pow x7 cosh x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul acos acoth x0 Mul Pow x7 Add cosh x0 -1 Mul Mul x7 log x7 sinh x0 cosh Add x0 -2 Add 1 Mul Pow 2 Add x0 -1 2.69314718055995 