K.K.
I'm sorry to say I have no advice on the formula options you have to choose from but having both children with food allergies I have used Nutramigen and Alimentum. I just wanted to mention, should you choose to continue or restart Alimentum, that we get ours in large quantities off Ebay and it's usually $16/$17 a can with shipping.
Good luck!! K.