Add x5 Pow Add x0 Pow Mul 7 x3 x3 Add x0 asech Mul pi Mul x0 3 
Mul Pow Add x0 Pow Mul 7 x3 x3 Add Add x0 asech Mul pi Mul x0 3 -1 Add Add x0 asech Mul pi Mul x0 3 Mul Mul Add x0 Pow Mul 7 x3 x3 log Add x0 Pow Mul 7 x3 x3 Add 1 Mul Mul pi 3 Pow Mul Mul Mul pi Mul x0 3 Mul pi Mul x0 3 sqrt Add 1 Mul -1 Pow Mul Mul pi Mul x0 3 Mul pi Mul x0 3 -1 -1 