Mul x0 Add Pow sqrt Add asec x0 pi atan Add x0 x4 x0 
Add Add Pow sqrt Add asec x0 pi atan Add x0 x4 x0 Mul x0 Add Mul Pow sqrt Add asec x0 pi Add atan Add x0 x4 -1 Add Mul atan Add x0 x4 Mul Pow Mul 2 sqrt Add asec x0 pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul sqrt Add asec x0 pi log sqrt Add asec x0 pi Pow Add 1 Mul Add x0 x4 Add x0 x4 -1 1 