Mul x0 Mul Mul Pow 0.980085143325183 x0 acosh x0 x0 
Add Mul Mul Pow 0.980085143325183 x0 acosh x0 x0 Mul x0 Add Mul x0 Add Mul acosh x0 Mul Pow 0.980085143325183 Add x0 -1 0.959969313177797 Mul Pow 0.980085143325183 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow 0.980085143325183 x0 acosh x0 