We wouldn't have this problem if the tax writers were required to publish the tax code in a machine readable format. It's a complicated algorithm, but in terms

We wouldn't have this problem if the tax writers were required to publish the tax code in a machine readable format. It's a complicated algorithm, but in terms of code it is what, maybe 10kloc? That's not very much.