Pow sqrt Mul x3 cosh Add x0 exp Add acosh x4 2.09439510239320 x3 
Mul Pow sqrt Mul x3 cosh Add x0 exp Add acosh x4 2.09439510239320 Add x3 -1 Mul x3 Mul Pow Mul 2 sqrt Mul x3 cosh Add x0 exp Add acosh x4 2.09439510239320 -1 Mul x3 sinh Add x0 exp Add acosh x4 2.09439510239320 