sqrt Add x0 acot log Add Add pi exp asin exp Mul Mul x1 x0 2 x7 
Mul Pow Mul 2 sqrt Add x0 acot log Add Add pi exp asin exp Mul Mul x1 x0 2 x7 -1 Add 1 Mul -1 Mul Mul Mul exp asin exp Mul Mul x1 x0 2 Mul Mul exp Mul Mul x1 x0 2 Mul 2 x1 Pow sqrt Add 1 Mul -1 Mul exp Mul Mul x1 x0 2 exp Mul Mul x1 x0 2 -1 Pow Add Add pi exp asin exp Mul Mul x1 x0 2 x7 -1 Pow Add 1 Mul log Add Add pi exp asin exp Mul Mul x1 x0 2 x7 log Add Add pi exp asin exp Mul Mul x1 x0 2 x7 -1 