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