If you use the baseball trade values site as a starting point this trade doesn't work for the Brewers though I think the BTV site is low on Leiter. They have Leiter at 12.4 but I think his median value should be higher somewhere around the 20's I believe. Now Jung it all depends on how you think his should has healed and if he will still be the same player before he tore is labrum. It has been a year since the surgery so it maybe hard to tell yet so his value being about 30 sounds about right maybe you could go lower to 25. With Leiter you have to believe his '22 stats in AA were a one time thing and he should improve from that. He does have some command issues so maybe the 12.4 is more accurate though I think I would still put him closer to 15 as his median value.
Currently Burnes has an excess value of 78.3. Which even if you adjust Jung and Leiter together that only gets you to about half of Burnes value. You have to fill in the rest of the value with other prospects. I don't think the Rangers are a realistic team to trade Burnes to. Woodruff is probably a more realistic option for the Rangers. Something like Jung, Leiter, Figuereo and Teodo (RHP) for Woodruff would be a better deal and within the values that each player projects. That would be the Rangers 1, 5, 19 and 21st ranked prospects for Woodruff. But that all depends on the valuation for Jung and Leiter. I think Leiter is a little low and Jung may also be a bit low. Still it is really hard to get to the valuation of Burnes without the Rangers putting in basically their top 5 prospects for Burnes and that still may not be enough value wise.