Mul Add x0 x0 Add sqrt Mul Mul x0 x2 asec x3 Pow Pow x2 pi Mul x0 Add x0 x0 
Add Mul Add sqrt Mul Mul x0 x2 asec x3 Pow Pow x2 pi Mul x0 Add x0 x0 2 Mul Add x0 x0 Add Mul Pow Mul 2 sqrt Mul Mul x0 x2 asec x3 -1 Mul asec x3 x2 Mul Pow Pow x2 pi Add Mul x0 Add x0 x0 -1 Mul Mul Pow x2 pi log Pow x2 pi Add Add x0 x0 Mul x0 2 