Add Add Pow cosh Pow 3 Add x0 Pow x0 cosh x7 5 cosh x0 Add Pow coth x4 x0 Mul 3 sqrt sech pi 
Add Add Mul Pow cosh Pow 3 Add x0 Pow x0 cosh x7 4 Mul 5 Mul sinh Pow 3 Add x0 Pow x0 cosh x7 Mul Pow 3 Add Add x0 Pow x0 cosh x7 -1 Mul 4.09861228866811 Add 1 Mul Pow x0 Add cosh x7 -1 cosh x7 sinh x0 Mul Pow coth x4 Add x0 -1 Mul coth x4 log coth x4 