Pow Add acos x0 Mul Mul Mul x0 x0 x0 Add x0 1.57079632679490 Add Mul x0 3 pi 
Mul Pow Add acos x0 Mul Mul Mul x0 x0 x0 Add x0 1.57079632679490 Add Add Mul x0 3 pi -1 Add Mul Add Mul x0 3 pi Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add Mul Add x0 1.57079632679490 Add Mul x0 Add x0 x0 Mul x0 x0 Mul Mul x0 x0 x0 Mul Mul Add acos x0 Mul Mul Mul x0 x0 x0 Add x0 1.57079632679490 log Add acos x0 Mul Mul Mul x0 x0 x0 Add x0 1.57079632679490 3 