I let it loose on a f# codebase that I know was pretty optimized but with a few low hanging fruit changes that would have a big impact.
3.1 Pro did NOT find them. 3.5 flash did. Plus one I hadn't thought of that may or may not work (which it also pointed out).
I'm pretty impressed.