acosh Add x2 sqrt Add x7 Add Mul x0 x6 x0 
Mul Mul Pow Mul 2 sqrt Add x7 Add Mul x0 x6 x0 -1 Add x6 1 Pow Mul sqrt Add Add x2 sqrt Add x7 Add Mul x0 x6 x0 -1 sqrt Add 1 Add x2 sqrt Add x7 Add Mul x0 x6 x0 -1 