(print-expr expr)
=> "(+ 1 2 (* 0 x y) (* 1 y 2) (+ 0 x))"

(print-expr (optimize expr))
=> "(+ 3 (* 2 y) x)"