(defun func2 (x) (+ 1 (* 2 x) (* 3 x)))