Add x0 acoth Add Mul -2 Pow cosh x0 exp Mul Pow cosh x0 x6 -1 x5 
Add 1 Mul Mul -2 Mul Pow cosh x0 Add exp Mul Pow cosh x0 x6 -1 -1 Add Mul exp Mul Pow cosh x0 x6 -1 sinh x0 Mul Mul cosh x0 log cosh x0 Mul exp Mul Pow cosh x0 x6 -1 Mul -1 Mul Pow cosh x0 Add x6 -1 Mul x6 sinh x0 Pow Add 1 Mul -1 Mul Add Mul -2 Pow cosh x0 exp Mul Pow cosh x0 x6 -1 x5 Add Mul -2 Pow cosh x0 exp Mul Pow cosh x0 x6 -1 x5 -1 