Mul Pow cosh x6 Add Pow x5 x0 Add x0 sqrt asec x0 csch asec Add csch x7 0.501700461741582 
Mul csch asec Add csch x7 0.501700461741582 Mul Pow cosh x6 Add Add Pow x5 x0 Add x0 sqrt asec x0 -1 Mul Mul cosh x6 log cosh x6 Add Mul Pow x5 Add x0 -1 Mul x5 log x5 Add 1 Mul Pow Mul 2 sqrt asec x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 