Clean, wash and soak Masoor dal in water for 3 hours. Take Masoor dal into the Pressure cooker along with 3 cups of water and add salt.
Pressure cook it on high flame for one whistle, then slow the flame and cook for another 10-12 minutes. Let the pressure settles down, open cooker and mash roughly with a spatula.
Heat the wok with butter and temper with cumin seeds, cardamom green and bay leaf. When cumin seeds crackles, add chopped onions. Fry it until onions are translucent.
Add tomato puree, ginger-garlic paste, green chilly, cinnamon stick, red chilly powder, turmeric powder and garam masala powder. Cook the spices on low flame till oil shows separately.
Add cooked spices into the pressure cooker along with a glass of water. Mix it well. Check salt, if need, add more salt.
Pressure cook it for one more whistle. Switch off the flame, open cooker and add cream. Mix it well, garnish with coriander leaves. Serve hot with chapatti and rice.