Pow 0.756802495307928 Add x0 Add acosh x0 Mul x0 Mul x0 Add Add x0 x0 0.863691154450617 
Mul Pow 0.756802495307928 Add Add x0 Add acosh x0 Mul x0 Mul x0 Add Add x0 x0 0.863691154450617 -1 Mul 0.478149531240804 Add 1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Mul x0 Add Add x0 x0 0.863691154450617 Mul x0 Add Add Add x0 x0 0.863691154450617 Mul x0 2 