atan Pow cosh x6 Add -5 Mul Pow Add x7 x0 acoth Add x0 5 x0 
Mul Mul Pow cosh x6 Add Add -5 Mul Pow Add x7 x0 acoth Add x0 5 x0 -1 Mul Mul cosh x6 log cosh x6 Add Mul x0 Mul Pow Add x7 x0 Add acoth Add x0 5 -1 Add acoth Add x0 5 Mul Mul Add x7 x0 log Add x7 x0 Pow Add 1 Mul -1 Mul Add x0 5 Add x0 5 -1 Pow Add x7 x0 acoth Add x0 5 Pow Add 1 Mul Pow cosh x6 Add -5 Mul Pow Add x7 x0 acoth Add x0 5 x0 Pow cosh x6 Add -5 Mul Pow Add x7 x0 acoth Add x0 5 x0 -1 