atan Pow asin Add Mul x0 2 4 x2 
Mul Mul Pow asin Add Mul x0 2 4 Add x2 -1 Mul x2 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 2 4 Add Mul x0 2 4 -1 Pow Add 1 Mul Pow asin Add Mul x0 2 4 x2 Pow asin Add Mul x0 2 4 x2 -1 