Mul Add Mul -4 Mul Mul 2 Pow x0 acot Pow x1 -3 x0 x0 x0 
Add Mul x0 Add Mul -4 Add Mul x0 Mul 2 Mul Pow x0 Add acot Pow x1 -3 -1 acot Pow x1 -3 Mul 2 Pow x0 acot Pow x1 -3 1 Add Mul -4 Mul Mul 2 Pow x0 acot Pow x1 -3 x0 x0 