Chaudhary and Gordon ("Tutte polynomials for trees," J. Graph Theory 15, no. 3 (1991), 317-331) construct a couple of invariants that look very similar to yours.  They prove that these invariants do in fact determine a rooted tree up to isomorphism.