Mul Mul asec Mul x0 x6 E Pow pi x0 
Add Mul Pow pi x0 Mul E Mul x6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 x6 Mul x0 x6 -1 Mul x0 x6 Mul x0 x6 -1 Mul Mul asec Mul x0 x6 E Mul Pow pi Add x0 -1 Mul pi log pi 