(+ 123 (* 234 (- 345 456)))