Best solution for the tax man is if we all run a few trading bots, and at the end of the year send them a print out of everything with a note saying "here - declared". Make them have to go through a mountain of actual paper to check every satoshi. Mix in all your bona fide ins and outs so they have to go through it and not just estimate. And make sure it's on some kind of crazy paper and typeface so they can't easily scan and OCR to automate the thing.