There's considerable complexity in working out, for example, Australian personal income tax given a person's tax return (and assuming no dishonesty or error in it). I've seen mere approximations reach thousands of lines of C.