Mul Pow x0 -1.22367618424063 Mul asin Add x0 Add pi x2 x0 
Add Mul Mul asin Add x0 Add pi x2 x0 Mul Pow x0 -2.22367618424063 -1.22367618424063 Mul Pow x0 -1.22367618424063 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul Add x0 Add pi x2 Add x0 Add pi x2 -1 asin Add x0 Add pi x2 