Add Add Add x0 1 Add exp sqrt x0 acos Pow acosh Add x4 x0 Add x0 x1 1.48943886381565 
Add 1 Add Mul exp sqrt x0 Pow Mul 2 sqrt x0 -1 Mul -1 Mul Mul Pow acosh Add x4 x0 Add Add x0 x1 -1 Add Mul Add x0 x1 Pow Mul sqrt Add Add x4 x0 -1 sqrt Add 1 Add x4 x0 -1 Mul acosh Add x4 x0 log acosh Add x4 x0 Pow sqrt Add 1 Mul -1 Mul Pow acosh Add x4 x0 Add x0 x1 Pow acosh Add x4 x0 Add x0 x1 -1 