sqrt cos Mul Pow x0 asin Add acos x0 pi Add x3 -5 
Mul Pow Mul 2 sqrt cos Mul Pow x0 asin Add acos x0 pi Add x3 -5 -1 Mul Mul -1 sin Mul Pow x0 asin Add acos x0 pi Add x3 -5 Mul Add x3 -5 Mul Pow x0 Add asin Add acos x0 pi -1 Add asin Add acos x0 pi Mul Mul x0 log x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add acos x0 pi Add acos x0 pi -1 