Test rewrite of harmonic numbers into sums