Add Mul Mul x0 acot x0 Pow 3 Pow x0 x7 Add x0 -1 
Add Add Mul Pow 3 Pow x0 x7 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul x0 acot x0 Mul Pow 3 Add Pow x0 x7 -1 Mul 4.09861228866811 Mul Pow x0 Add x7 -1 x7 1 