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