Mul Mul -2 Mul Pow Mul x0 -5 Add acos x0 x4 x4 pi 
Mul pi Mul -2 Mul x4 Mul Pow Mul x0 -5 Add Add acos x0 x4 -1 Add Mul Add acos x0 x4 -5 Mul Mul Mul x0 -5 log Mul x0 -5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 