Pow Mul Add x0 sqrt pi x0 Pow sec x5 x0 
Mul Pow Mul Add x0 sqrt pi x0 Add Pow sec x5 x0 -1 Add Mul Pow sec x5 x0 Add x0 Add x0 sqrt pi Mul Mul Mul Add x0 sqrt pi x0 log Mul Add x0 sqrt pi x0 Mul Pow sec x5 Add x0 -1 Mul sec x5 log sec x5 