asin Mul x0 Add Pow x0 x3 Add pi Mul x0 x2 
Mul Add Add Pow x0 x3 Add pi Mul x0 x2 Mul x0 Add Mul Pow x0 Add x3 -1 x3 x2 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add Pow x0 x3 Add pi Mul x0 x2 Mul x0 Add Pow x0 x3 Add pi Mul x0 x2 -1 