Mul x1 Mul Pow Add acos x0 x5 Mul x0 Add Add pi x0 Add x0 x6 Pow x3 x0 
Mul x1 Add Mul Pow x3 x0 Mul Pow Add acos x0 x5 Add Mul x0 Add Add pi x0 Add x0 x6 -1 Add Mul Mul x0 Add Add pi x0 Add x0 x6 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add acos x0 x5 log Add acos x0 x5 Add Add Add pi x0 Add x0 x6 Mul x0 2 Mul Pow Add acos x0 x5 Mul x0 Add Add pi x0 Add x0 x6 Mul Pow x3 Add x0 -1 Mul x3 log x3 