(+ 1 (* 2 3))