Mul Add Mul Pow Add x7 Mul x7 Pow x0 x1 x6 asech acot x2 x0 x0 
Add Mul x0 Add Mul asech acot x2 Mul Pow Add x7 Mul x7 Pow x0 x1 Add x6 -1 Mul x6 Mul x7 Mul Pow x0 Add x1 -1 x1 1 Add Mul Pow Add x7 Mul x7 Pow x0 x1 x6 asech acot x2 x0 