Add Mul x0 Mul Add x0 x0 x0 Mul Pow Mul asec x0 Add Pow asin x0 x0 2 Pow 4 pi x0 
Add Add Mul Add x0 x0 x0 Mul x0 Add Mul x0 2 Add x0 x0 Add Mul x0 Mul Pow Mul asec x0 Add Pow asin x0 x0 2 Add Pow 4 pi -1 Mul Pow 4 pi Add Mul Add Pow asin x0 x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul Pow asin x0 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 log asin x0 Pow Mul asec x0 Add Pow asin x0 x0 2 Pow 4 pi 