Mul Add tan x0 acos x0 Mul Pow x0 0.863691154450617 x0 
Add Mul Mul Pow x0 0.863691154450617 x0 Add Pow sec x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add tan x0 acos x0 Add Mul x0 Mul Pow x0 -0.136308845549383 0.863691154450617 Pow x0 0.863691154450617 