exp Mul x0 Add x6 acosh Add x0 -0.481211825059603 
Mul exp Mul x0 Add x6 acosh Add x0 -0.481211825059603 Add Add x6 acosh Add x0 -0.481211825059603 Mul x0 Pow Mul sqrt Add Add x0 -0.481211825059603 -1 sqrt Add 1 Add x0 -0.481211825059603 -1 