Atan2 doesn't symplify as expected.

Generally RootOf(..) should not "evaluate"  to a list or anything else.

RootOf(x^2-1, 1/2, [1,2])    ^2    simplifies to x^2-1

You can compute the sum and product of roots etc.