Instant Pot Taiwanese Beef Noodle Soup

bone-in beef shank

large onion, quartered

tomatoes, quartered

peeled garlic cloves

piece of large ginger, sliced into large thin pieces

soy sauce

shaoxing wine (Chinese cooking wine)

star anise

cinnamon sticks

fennel seed

ground clove

ground cumin

dried Thai red chilies, optional

Asian noodles, depends on how much soup vs. noodle ratio you like

Green onions, for topping