Mul x0 Add asec x0 Mul acos x0 asin Mul x1 x5 
Add Add asec x0 Mul acos x0 asin Mul x1 x5 Mul x0 Add Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asin Mul x1 x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 