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