Efficient Composition of Discrete Time Quantum Walks