An empirical study of bit vector function optimization