Pow asin Add Mul x0 Add pi 1.44363547517881 x2 -3 
Mul Pow asin Add Mul x0 Add pi 1.44363547517881 x2 4 Mul -3 Mul Add pi 1.44363547517881 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 Add pi 1.44363547517881 x2 Add Mul x0 Add pi 1.44363547517881 x2 -1 