Mul x0 asin Mul x0 sqrt Mul x0 32 
Add asin Mul x0 sqrt Mul x0 32 Mul x0 Mul Add sqrt Mul x0 32 Mul x0 Mul Pow Mul 2 sqrt Mul x0 32 -1 32 Pow sqrt Add 1 Mul -1 Mul Mul x0 sqrt Mul x0 32 Mul x0 sqrt Mul x0 32 -1 