Developer productivity is not easily quantifiable though...
If you don't have the baseline there are other ways of getting this figured out, not as accurate but good enough typically - instead of comparing someone's office vs. home velocity you go by the average velocity you're after and see if they can hang with that while working from home (and again, I don't see why this would be difficult to figure out).