Mul x6 Mul exp x3 Mul Pow E 1.73205080756888 Add 0.0134752822213046 Add x0 acosh Add Add Mul Mul x5 x0 x0 x6 1 
Mul x6 Mul exp x3 Mul Pow E 1.73205080756888 Add 1 Mul Add Mul x0 x5 Mul x5 x0 Pow Mul sqrt Add Add Add Mul Mul x5 x0 x0 x6 1 -1 sqrt Add 1 Add Add Mul Mul x5 x0 x0 x6 1 -1 