Add Pow Pow x2 asin Mul -4 Mul x5 Add x0 4 pi Mul acos x0 -2 
Add Mul Pow Pow x2 asin Mul -4 Mul x5 Add x0 4 Add pi -1 Mul pi Mul Pow x2 Add asin Mul -4 Mul x5 Add x0 4 -1 Mul Mul x2 log x2 Mul Mul -4 x5 Pow sqrt Add 1 Mul -1 Mul Mul -4 Mul x5 Add x0 4 Mul -4 Mul x5 Add x0 4 -1 Mul -2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 