Mul Add atan x7 Mul Add Mul x0 2 2 Pow x6 Pow asin sqrt Add x1 Add asec x0 Mul exp pi E 4 -3 
Mul -3 Add Mul Pow x6 Pow asin sqrt Add x1 Add asec x0 Mul exp pi E 4 2 Mul Add Mul x0 2 2 Mul Pow x6 Add Pow asin sqrt Add x1 Add asec x0 Mul exp pi E 4 -1 Mul Mul x6 log x6 Mul Pow asin sqrt Add x1 Add asec x0 Mul exp pi E 3 Mul 4 Mul Mul Pow Mul 2 sqrt Add x1 Add asec x0 Mul exp pi E -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt Add x1 Add asec x0 Mul exp pi E sqrt Add x1 Add asec x0 Mul exp pi E -1 