Pow acos Pow Add asin acos x6 5 x0 pi 
Mul Pow acos Pow Add asin acos x6 5 x0 Add pi -1 Mul pi Mul -1 Mul Mul Pow Add asin acos x6 5 Add x0 -1 Mul Add asin acos x6 5 log Add asin acos x6 5 Pow sqrt Add 1 Mul -1 Mul Pow Add asin acos x6 5 x0 Pow Add asin acos x6 5 x0 -1 