n = a.length
for i = n - 2 down to -1
bi = 0
if i != n - 2
bi += x * bi + 1
bi += ai + 1
return a0 - b0 * -x