(dot (aref a (+ x 1)) 2)