Rinse & sort pinto beans then add to Instant Pot with vegetables, spices, herbs, and water (or stock).
Set Instant Pot to “Bean/Chili” setting for 45 minutes.
Let pressure release naturally – about 15-20 minutes.
Once cooked, discard bay leafs.
Add salt to beans as desired (check the salt level in the juice, not the bean) then mash or puree using a masher, food mill, food processor, blender, or stick-blender. If you mash by hand the beans will be more rustic, if you want them smooth then use a blender (I prefer to use a stick blender).