polynomial_addition