(+ (* 1 2) 3)