Add Pow x0 Mul acos log exp Pow cosh x0 0.999329299739067 Add x0 E 64 
Mul Pow x0 Add Mul acos log exp Pow cosh x0 0.999329299739067 Add x0 E -1 Add Mul acos log exp Pow cosh x0 0.999329299739067 Add x0 E Mul Mul x0 log x0 Add Mul Add x0 E Mul -1 Mul Mul Mul exp Pow cosh x0 0.999329299739067 Mul Pow cosh x0 -0.000670700260932966 Mul 0.999329299739067 sinh x0 Pow exp Pow cosh x0 0.999329299739067 -1 Pow sqrt Add 1 Mul -1 Mul log exp Pow cosh x0 0.999329299739067 log exp Pow cosh x0 0.999329299739067 -1 acos log exp Pow cosh x0 0.999329299739067 