Instant Pot Chicken Chili

Name: Instant Pot Chicken Chili
Ingredients: 2 tablespoon butter; 2 onions, medium diced; 1 red bell pepper, medium chopped; 2 cloves garlic minced; 1 tablespoon paprika; 1 teaspoon ground cumin; 1 1/2 teaspoon kosher salt; 1/2 teaspoon black pepper; 1 teaspoon chili powder; 1 bay leaf; 2 pound boneless chicken breasts; one 15-ounce can pinto beans (rinsed and drained); one 14.5-ounce can diced tomatoes; 1 cup water; sour cream (optional); 1 1/2 cup corn kernels (frozen, thawed); shredded cheese (optional); cilantro (optional)