;; which must be passed to f6 (bind-func f6 (lambda (x c_0 c_1) (desolve (= (+ (diff y x x) y) 0) x y)))