I agree the trade simulator is not a perfect tool, but it gives a good starting point to look at. And yes, the price for well-performing veteran players with multiple years of service time left is very steep! I personally wouldn't trade Lewis or Miranda for Jansen either, but that is in the realm of what it would cost. That's why more likely, it would take multiple lower-level guys to add up to that value.
Idk if you have The Athletic access or not, but there was an article where different beat reporters made hypothetical offers for the Blue Jays catchers and Gleeman suggested Kepler, Balazovic and Sands and it was shot down because there wasn't anything in the package that was high enough quality. https://theathletic.com/3924479/2022/11/24/blue-jays-trade-catching/ I think if you do that trade but switch Kepler with Larnach, then that's closer to what it would take.