Add x3 Pow Add acos x0 x0 asec sqrt Add -4 x0 
Mul Pow Add acos x0 x0 Add asec sqrt Add -4 x0 -1 Add Mul asec sqrt Add -4 x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Mul Add acos x0 x0 log Add acos x0 x0 Mul Pow Mul 2 sqrt Add -4 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt Add -4 x0 sqrt Add -4 x0 -1 sqrt Add -4 x0 sqrt Add -4 x0 -1 