Searching for More Efficient Dynamic Programs