Add Pow Mul Mul -3 Mul 2 Mul sqrt x7 asec Pow acos x7 x0 x6 Mul atan x7 Mul x0 x0 x0 
Add Mul Pow Mul Mul -3 Mul 2 Mul sqrt x7 asec Pow acos x7 x0 x6 Add Mul atan x7 Mul x0 x0 -1 Add Mul Mul atan x7 Mul x0 x0 Mul x6 Mul -3 Mul 2 Mul sqrt x7 Mul Mul Pow acos x7 Add x0 -1 Mul acos x7 log acos x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acos x7 x0 Pow acos x7 x0 -1 Pow acos x7 x0 Pow acos x7 x0 -1 Mul Mul Mul Mul -3 Mul 2 Mul sqrt x7 asec Pow acos x7 x0 x6 log Mul Mul -3 Mul 2 Mul sqrt x7 asec Pow acos x7 x0 x6 Mul atan x7 Add x0 x0 1 