Mul Mul Add pi asin Pow asec sqrt E Add Add x0 x0 E x1 x0 
Add Mul x0 Mul x1 Mul Mul Pow asec sqrt E Add Add Add x0 x0 E -1 Mul Mul asec sqrt E log asec sqrt E 2 Pow sqrt Add 1 Mul -1 Mul Pow asec sqrt E Add Add x0 x0 E Pow asec sqrt E Add Add x0 x0 E -1 Mul Add pi asin Pow asec sqrt E Add Add x0 x0 E x1 