Mul Pow cosh x3 Add x0 acsc Pow 27.3082328360165 sech E x0 
Add Mul x0 Mul Pow cosh x3 Add Add x0 acsc Pow 27.3082328360165 sech E -1 Mul cosh x3 log cosh x3 Pow cosh x3 Add x0 acsc Pow 27.3082328360165 sech E 