Mul x0 sqrt Mul Add sqrt cosh x0 Pow x0 Add x0 Pow E E 0.964027580075817 
Add sqrt Mul Add sqrt cosh x0 Pow x0 Add x0 Pow E E 0.964027580075817 Mul x0 Mul Pow Mul 2 sqrt Mul Add sqrt cosh x0 Pow x0 Add x0 Pow E E 0.964027580075817 -1 Mul 0.964027580075817 Add Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 Mul Pow x0 Add Add x0 Pow E E -1 Add Add x0 Pow E E Mul x0 log x0 