The complexity of the task isn't a factor - it's complex to generate correct machine code, but we trust compilers to do it all the time.