Then, to the instant pot add garlic, carrots, and give it a quick stir. Deglaze the pot with vegetable broth. Make sure to scrape any bits that are stuck to the pot. Then, without stirring, add dry red lentils, crushed tomatoes, ground coriander, ground cumin, ground turmeric, paprika, cinnamon, salt, pepper, red pepper flakes (to taste), parsley, and cilantro.