Gas drops?

My LO is formula fed and has trouble pooping and is really gassy . We were giving him enfamil gentlease but was told by his dr to use enfamil infant because it has more lactose and should help him poop more. He also told us we can try gas drops but do those even work?