Add Add Add x0 4 Mul x1 x6 acot Mul Add Add x0 Mul acos x0 x0 x0 x1 
Add 1 Mul -1 Mul Mul x1 Add Add 1 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acos x0 1 Pow Add 1 Mul Mul Add Add x0 Mul acos x0 x0 x0 x1 Mul Add Add x0 Mul acos x0 x0 x0 x1 -1 