Mul x0 Mul sec acosh Add 5 Add x0 Add 2 x0 0.863691154450617 
Add Mul sec acosh Add 5 Add x0 Add 2 x0 0.863691154450617 Mul x0 Mul 0.863691154450617 Mul Mul tan acosh Add 5 Add x0 Add 2 x0 sec acosh Add 5 Add x0 Add 2 x0 Mul 2 Pow Mul sqrt Add Add 5 Add x0 Add 2 x0 -1 sqrt Add 1 Add 5 Add x0 Add 2 x0 -1 