Add Mul Add x0 Mul Pow x0 asech x4 Add 3 Add x0 Mul x0 4 Mul x0 -1 1 
Add Mul Mul x0 -1 Add 1 Add Mul Add 3 Add x0 Mul x0 4 Mul Pow x0 Add asech x4 -1 asech x4 Mul Pow x0 asech x4 5 Mul Add x0 Mul Pow x0 asech x4 Add 3 Add x0 Mul x0 4 -1 