asech acos Mul asec Pow x0 x3 0.863691154450617 
Mul Mul -1 Mul Mul 0.863691154450617 Mul Mul Pow x0 Add x3 -1 x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 x3 Pow x0 x3 -1 Pow x0 x3 Pow x0 x3 -1 Pow sqrt Add 1 Mul -1 Mul Mul asec Pow x0 x3 0.863691154450617 Mul asec Pow x0 x3 0.863691154450617 -1 Pow Mul Mul acos Mul asec Pow x0 x3 0.863691154450617 acos Mul asec Pow x0 x3 0.863691154450617 sqrt Add 1 Mul -1 Pow Mul acos Mul asec Pow x0 x3 0.863691154450617 acos Mul asec Pow x0 x3 0.863691154450617 -1 -1 