sqrt Mul x0 acos Pow 2.51878817494040 Add x2 x0 
Mul Pow Mul 2 sqrt Mul x0 acos Pow 2.51878817494040 Add x2 x0 -1 Add acos Pow 2.51878817494040 Add x2 x0 Mul x0 Mul -1 Mul Mul Pow 2.51878817494040 Add Add x2 x0 -1 3.44256607784228 Pow sqrt Add 1 Mul -1 Mul Pow 2.51878817494040 Add x2 x0 Pow 2.51878817494040 Add x2 x0 -1 