Add x0 Mul Pow x4 Pow sec x7 Mul x0 Pow Add x0 acos x0 x4 x3 
Add 1 Mul x3 Mul Pow x4 Add Pow sec x7 Mul x0 Pow Add x0 acos x0 x4 -1 Mul Mul x4 log x4 Mul Pow sec x7 Add Mul x0 Pow Add x0 acos x0 x4 -1 Mul Mul sec x7 log sec x7 Add Pow Add x0 acos x0 x4 Mul x0 Mul Pow Add x0 acos x0 Add x4 -1 Mul x4 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 