Mul Mul Add Add -3 E Pow Add Add x0 Mul acos x0 Add x0 4 x0 7.51522924845692 x2 x0 
Add Mul x0 Mul x2 Mul Pow Add Add x0 Mul acos x0 Add x0 4 x0 6.51522924845692 Mul 7.51522924845692 Add Add 1 Add Mul Add x0 4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acos x0 1 Mul Add Add -3 E Pow Add Add x0 Mul acos x0 Add x0 4 x0 7.51522924845692 x2 