Mul x0 asech Add x0 Add Pow x6 x0 5 
Add asech Add x0 Add Pow x6 x0 5 Mul x0 Mul Add 1 Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Mul Mul Add x0 Add Pow x6 x0 5 Add x0 Add Pow x6 x0 5 sqrt Add 1 Mul -1 Pow Mul Add x0 Add Pow x6 x0 5 Add x0 Add Pow x6 x0 5 -1 -1 