Run the simplifier twice and simplify GetIx with Elements as backing write

...te.