asin Mul Mul x0 asec Mul Add pi x0 x0 Mul x0 x7 
Mul Add Mul Mul x0 x7 Add asec Mul Add pi x0 x0 Mul x0 Mul Add x0 Add pi x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add pi x0 x0 Mul Add pi x0 x0 -1 Mul Add pi x0 x0 Mul Add pi x0 x0 -1 Mul Mul x0 asec Mul Add pi x0 x0 x7 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 asec Mul Add pi x0 x0 Mul x0 x7 Mul Mul x0 asec Mul Add pi x0 x0 Mul x0 x7 -1 