Pow asin Pow Add asec acos Add x0 x0 x0 asin Mul x0 x0 x0 
Mul Pow asin Pow Add asec acos Add x0 x0 x0 asin Mul x0 x0 Add x0 -1 Add Mul x0 Mul Mul Pow Add asec acos Add x0 x0 x0 Add asin Mul x0 x0 -1 Add Mul asin Mul x0 x0 Add Mul Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos Add x0 x0 acos Add x0 x0 -1 acos Add x0 x0 acos Add x0 x0 -1 1 Mul Mul Add asec acos Add x0 x0 x0 log Add asec acos Add x0 x0 x0 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add asec acos Add x0 x0 x0 asin Mul x0 x0 Pow Add asec acos Add x0 x0 x0 asin Mul x0 x0 -1 Mul asin Pow Add asec acos Add x0 x0 x0 asin Mul x0 x0 log asin Pow Add asec acos Add x0 x0 x0 asin Mul x0 x0 