A complicated tax system is perfectly fine if its control logic is algorithmic and its parameters are easily found by the taxpayer. That's already somewhat true, since tax law is written by lawyers and accounts, who make excellent programmers if given appropriate training. Unfortunately, for me at least, legal English is 1000x harder to parse and understand than any nonesoteric programming language.