Mul Pow Add Mul E Add x1 3 x0 x0 asech Mul x0 x6 
Add Mul asech Mul x0 x6 Mul Pow Add Mul E Add x1 3 x0 Add x0 -1 Add x0 Mul Add Mul E Add x1 3 x0 log Add Mul E Add x1 3 x0 Mul Pow Add Mul E Add x1 3 x0 x0 Mul x6 Pow Mul Mul Mul x0 x6 Mul x0 x6 sqrt Add 1 Mul -1 Pow Mul Mul x0 x6 Mul x0 x6 -1 -1 