(defun func1 (x) (+ 1 (* 2 x)))