A standard validity check is to see that the resulting generating
function simplifies to the correct univariate generating function.
The first few coefficients at
inert2dx = 1, y = 1
agree with the above generating function. The univariate generating
function in
inert2dt
t
is a generating function in terms of the length of the sequence.