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