Add Mul Pow Mul Pow x0 x6 x0 Mul x0 4 -3 asech x7 
Mul -3 Mul Pow Mul Pow x0 x6 x0 Add Mul x0 4 -1 Add Mul Mul x0 4 Add Mul x0 Mul Pow x0 Add x6 -1 x6 Pow x0 x6 Mul Mul Mul Pow x0 x6 x0 log Mul Pow x0 x6 x0 4 