When it reads "hot", add olive oil and then onion, celery, and carrot.
Cook, stirring regularly, until vegetables have softened, about 3 minutes.
Add the garlic, and cook, stirring the entire time, for 30 seconds.
Press cancel.
Add remaining ingredients except for tomatoes along with the seasoning packet.
Close and lock the lid. Press manual high pressure and adjust the cooking time to 60 minutes. Be sure that the pressure release valve is set to sealing.
When the cooking time has finished, carefully turn the pressure release valve to venting to release the pressure. You may need to do a controlled quick release.
Unlock the lid and remove the ham bone and bay leaves.
Stir in the diced tomatoes with juice.
Press sauté and let the soup come to a simmer, stirring the entire time.
Press cancel and give the soup a good stir.
Notes
Soup: The bean soup is a dry bean blend that's usually sold near dried beans.
Onion: White or yellow onion works well in this recipe.
Ham bone: If you don't have a ham bone or ham hock, you can substitute additional chopped leftover ham; however, the soup won't have the same rich flavor without the bone or ham hock.
Diced tomato: Feel free to use another type of diced tomato like fire roasted or diced tomato with garlic.