Mul acos Add Add x0 x0 Pow x0 x7 Mul x0 Mul sec x2 x2 
Add Mul Mul x0 Mul sec x2 x2 Mul -1 Mul Add 2 Mul Pow x0 Add x7 -1 x7 Pow sqrt Add 1 Mul -1 Mul Add Add x0 x0 Pow x0 x7 Add Add x0 x0 Pow x0 x7 -1 Mul acos Add Add x0 x0 Pow x0 x7 Mul sec x2 x2 