Mul x0 Pow Add Add Mul Pow x0 asech x1 x0 Add x0 x0 Add x3 x0 3 
Add Pow Add Add Mul Pow x0 asech x1 x0 Add x0 x0 Add x3 x0 3 Mul x0 Mul Pow Add Add Mul Pow x0 asech x1 x0 Add x0 x0 Add x3 x0 2 Mul 3 Add Add Add Mul x0 Mul Pow x0 Add asech x1 -1 asech x1 Pow x0 asech x1 2 1 