(define compose
  F G -> (/. X
             (F (G X))))

((compose (+ 1) (+ 2)) 3)   \ (Outputs 6) \