;; you may combine the macros in any valid way ;; remembering some expressions take/return vectors! (bind-func f4 (lambda (x y) (+ (simplify (* (+ x 5) (- 6 y))) (diff (pow x 2)))))