Pow asec acos Add 6 x0 Add Add Add 2 x1 x7 Mul x0 3 
Mul Pow asec acos Add 6 x0 Add Add Add Add 2 x1 x7 Mul x0 3 -1 Add Mul Add Add Add 2 x1 x7 Mul x0 3 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add 6 x0 Add 6 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos Add 6 x0 acos Add 6 x0 -1 acos Add 6 x0 acos Add 6 x0 -1 Mul Mul asec acos Add 6 x0 log asec acos Add 6 x0 3 