acos acos Pow x0 0.00390625000000000 
Mul -1 Mul Mul -1 Mul Mul Pow x0 -0.996093750000000 0.00390625000000000 Pow sqrt Add 1 Mul -1 Mul Pow x0 0.00390625000000000 Pow x0 0.00390625000000000 -1 Pow sqrt Add 1 Mul -1 Mul acos Pow x0 0.00390625000000000 acos Pow x0 0.00390625000000000 -1 