Mul Add x0 x2 Add x4 Pow acos x0 Pow x2 asec x0 
Add Add x4 Pow acos x0 Pow x2 asec x0 Mul Add x0 x2 Mul Pow acos x0 Add Pow x2 asec x0 -1 Add Mul Pow x2 asec x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 Mul Pow x2 Add asec x0 -1 Mul Mul x2 log x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 