acot Add x1 Mul Mul acot Pow x0 x6 Add Mul Add x0 x3 x0 -1 Add x1 x3 
Mul -1 Mul Mul Add x1 x3 Add Mul Add Mul Add x0 x3 x0 -1 Mul -1 Mul Mul Pow x0 Add x6 -1 x6 Pow Add 1 Mul Pow x0 x6 Pow x0 x6 -1 Mul acot Pow x0 x6 Add x0 Add x0 x3 Pow Add 1 Mul Add x1 Mul Mul acot Pow x0 x6 Add Mul Add x0 x3 x0 -1 Add x1 x3 Add x1 Mul Mul acot Pow x0 x6 Add Mul Add x0 x3 x0 -1 Add x1 x3 -1 