(+ x x) should be (+ x x x)