acos Add Mul acos Add x0 Add x0 x0 x0 8165619676597685 
Mul -1 Mul Add Mul x0 Mul -1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Add x0 Add x0 x0 Add x0 Add x0 x0 -1 acos Add x0 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Add Mul acos Add x0 Add x0 x0 x0 8165619676597685 Add Mul acos Add x0 Add x0 x0 x0 8165619676597685 -1 