Regarding my decision to use the non-simplified Form 1116-AMT:
1. I tried looked at all three of the non-AMT, the simplified-AMT, and the non-simplified-AMT. Each gave a different number for the maximum allowed credit, but since all were greater than my foreign taxes it did not affect my bottom line.
2. The non-simplified method did not require any more input on my part than the simplified method. Turbotax did all the calculations, mostly involving picking some numbers from my Form 6251 instead of from my 1040 and using them in calculations with some different parameters.
3. My return was accepted!
