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