acot Mul Pow Add x0 x7 x3 Mul x2 Mul x0 3 
Mul -1 Mul Add Mul Mul x2 Mul x0 3 Mul Pow Add x0 x7 Add x3 -1 x3 Mul Pow Add x0 x7 x3 Mul x2 3 Pow Add 1 Mul Mul Pow Add x0 x7 x3 Mul x2 Mul x0 3 Mul Pow Add x0 x7 x3 Mul x2 Mul x0 3 -1 