SE does point out that in the pressure cooker, the moisture in your sauce won't cook off in the same way it would on the stovetop. This will give you a "fresher" flavor, but for deeper flavor notes that may be missing, add your own umami boost using fish sauce, or by chopping up a couple of anchovies.