I've used Beersmith to adjust the OG, but it's notoriously inaccurate over 100 degrees. I'd tried it. Take the temp of the sample and use the tool and adjust it, then simply cool that same sample. They've been so far off that the first one (taking with 170 degree wort) is useless. I now use a small round pitcher and put ice water in it and cool my sample in that. It takes about 6-7 minutes to get it under 80 degrees, then I check the OG and adjust to the calibration temperature.
I think that's more the equation for adjustment than specifically Beersmith. I had the same problem in my pen and paper days of OG calculations.
I put my sample in the freezer but at this point I'm dialed in enough that my efficiency has only varied +- .5 from what I'm shooting for on "normal" gravity beers.