Mul x0 Mul Mul Mul Add x0 pi -5 Add acos Mul -5 x0 5 x0 
Add Mul Mul Mul Add x0 pi -5 Add acos Mul -5 x0 5 x0 Mul x0 Add Mul x0 Add Mul Add acos Mul -5 x0 5 -5 Mul Mul Add x0 pi -5 Mul -1 Mul -5 Pow sqrt Add 1 Mul -1 Mul Mul -5 x0 Mul -5 x0 -1 Mul Mul Add x0 pi -5 Add acos Mul -5 x0 5 