which is much more efficient for evaluation, as it requires only n
multiplications and n additions, and this is optimal. But this is not implemented here because it's efficient. It is implemented because it works if x is itself a (multivariate) polynomial, and that is the second coolest thing ever. The coolest thing ever is the Reduce() function.