Mul x1 Add Mul Add Mul Mul Mul x0 pi Add acos x0 x0 x0 x0 sqrt x5 x0 
Mul x1 Add Mul sqrt x5 Add Add Mul x0 Add Mul Add acos x0 x0 pi Mul Mul x0 pi Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Mul x0 pi Add acos x0 x0 1 1 