Add acos Mul Mul Pow x0 Mul asec E tan Add -1 x6 x5 2 Add x1 4 
Mul -1 Mul Mul 2 Mul x5 Mul Pow x0 Add Mul asec E tan Add -1 x6 -1 Mul asec E tan Add -1 x6 Pow sqrt Add 1 Mul -1 Mul Mul Mul Pow x0 Mul asec E tan Add -1 x6 x5 2 Mul Mul Pow x0 Mul asec E tan Add -1 x6 x5 2 -1 