Pow Add asech Mul x0 x2 Pow pi Pow x7 x0 Mul x0 x0 
Mul Pow Add asech Mul x0 x2 Pow pi Pow x7 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add Mul x2 Pow Mul Mul Mul x0 x2 Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul x0 x2 Mul x0 x2 -1 -1 Mul Pow pi Add Pow x7 x0 -1 Mul Mul pi log pi Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Add asech Mul x0 x2 Pow pi Pow x7 x0 log Add asech Mul x0 x2 Pow pi Pow x7 x0 Add x0 x0 