J's under conjecture in clojure

under.clj

;;Will Suffer from rounding errors - but ok for an example
(defn under [verb, obverse, func x y]
  (obverse (func (verb x) (verb y))))

(defn log [x]
  (Math/log x))

(defn exp [x]
  (Math/exp x))

(defn my-multiply [x y]
  (under log exp + x y))

(defn my-add [x y]
  (under exp log * x y))

(println (my-multiply 2 3))
(println (my-multiply 2 2))

(println (my-add 1 2))
(println (my-add 3 3))
(println (my-add 3 4))