Mul x0 Pow x0 acos Add x0 Pow x2 sec exp pi 
Add Pow x0 acos Add x0 Pow x2 sec exp pi Mul x0 Mul Pow x0 Add acos Add x0 Pow x2 sec exp pi -1 Add acos Add x0 Pow x2 sec exp pi Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Pow x2 sec exp pi Add x0 Pow x2 sec exp pi -1 