One possible solution using Z3Py
x = Real('x')
y = (-1/120)*(-5+x)*(-4+x)*(-3+x)*(-2+x)*(-1+x)
z = (1/12)*(-5+x)*(-4+x)*(-3+x)*(-2+x)
w = y + z
print simplify(simplify(w, som=True), mul_to_power=True)
and the corresponding output is
120 + -274*x + 225*x**2 + -85*x**3 + 15*x**4 + -1*x**5