Mul Add Pow x0 x0 -3 Pow Mul x0 asech Mul x7 x0 -5 
Add Mul Pow Mul x0 asech Mul x7 x0 -5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add Pow x0 x0 -3 Mul Pow Mul x0 asech Mul x7 x0 6 Mul -5 Add asech Mul x7 x0 Mul x0 Mul x7 Pow Mul Mul Mul x7 x0 Mul x7 x0 sqrt Add 1 Mul -1 Pow Mul Mul x7 x0 Mul x7 x0 -1 -1 