Mul Mul Pow asec pi x0 x0 Mul acos x0 Mul pi -3 
Add Mul Mul acos x0 Mul pi -3 Add Mul x0 Mul Pow asec pi Add x0 -1 Mul asec pi log asec pi Pow asec pi x0 Mul Mul Pow asec pi x0 x0 Mul Mul pi -3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 