But I wouldn't be surprised if this one is just a weird edge-case in their formula with no eyes on it (and one that probably serves a vanishingly small number of customers, who would want to casually trade-in their $50k machine instead of finding the best price they can get on the open market)
For reference:
The OP is looking at a 1.8% trade-in value on a 3 year old machine
Whereas I can currently get 16% trade-in value on my 4.5-year-old iPhone XS