Pow Mul Mul Mul x0 Mul sech x7 Pow x1 -1 x0 Add Add x0 x0 x5 -3 
Mul Pow Mul Mul Mul x0 Mul sech x7 Pow x1 -1 x0 Add Add x0 x0 x5 4 Mul -3 Add Mul Add Add x0 x0 x5 Add Mul x0 Mul sech x7 Pow x1 -1 Mul x0 Mul sech x7 Pow x1 -1 Mul Mul Mul x0 Mul sech x7 Pow x1 -1 x0 2 