asin Pow Mul asec Mul x0 acos x3 Mul x0 Add Add 3125 x0 x5 Mul 0.00800000000000000 x0 
Mul Mul Pow Mul asec Mul x0 acos x3 Mul x0 Add Add 3125 x0 x5 Add Mul 0.00800000000000000 x0 -1 Add Mul Mul 0.00800000000000000 x0 Add Mul Mul x0 Add Add 3125 x0 x5 Mul acos x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 acos x3 Mul x0 acos x3 -1 Mul x0 acos x3 Mul x0 acos x3 -1 Mul asec Mul x0 acos x3 Add Add Add 3125 x0 x5 x0 Mul Mul Mul asec Mul x0 acos x3 Mul x0 Add Add 3125 x0 x5 log Mul asec Mul x0 acos x3 Mul x0 Add Add 3125 x0 x5 0.00800000000000000 Pow sqrt Add 1 Mul -1 Mul Pow Mul asec Mul x0 acos x3 Mul x0 Add Add 3125 x0 x5 Mul 0.00800000000000000 x0 Pow Mul asec Mul x0 acos x3 Mul x0 Add Add 3125 x0 x5 Mul 0.00800000000000000 x0 -1 