(+ (+ 1 2) 3)