Is there a known closed form equation for a sequence where for every positive integer $n$, $x_n = n / t_n$, where $t_n$ is the largest power of 2 that divides $n$? So for instance, the first 20 elements would be: $$1,1,3,1,5,3,7,1,9,5,11,3,13,7,15,1,17,9,19,5,\dots$$