A Data Flow Machine with Optimization Driven Graph Reduction Mechanism