; ps9/pgm4.cpx
;
; Test the interaction of comp with bind and itself
(compex (p q r)
  (+ (bind s (- p q)
       (bind t (- q r)
         (* (comp s (+ p q) (+ p r) (+ q r))
            (comp t (- p q) (- p r) (- q r)))))
     (comp (- r q)
       (bind u (+ p q) u (* 2 u) (* 3 u))
       (bind v (+ p r) (* 4 v) (* 5 v) (* 6 v))
       (bind v (+ q r) (* 7 v) (* 8 v) (* 9 v)))))