Mul Add x0 Add x3 x3 Mul -0.841470984807897 acos Add 2 Add x2 sqrt x0 
Add Mul -0.841470984807897 acos Add 2 Add x2 sqrt x0 Mul Add x0 Add x3 x3 Mul -0.841470984807897 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Add 2 Add x2 sqrt x0 Add 2 Add x2 sqrt x0 -1 