A crusher is a machine designed to reduce large rocks from a mine in a dry process into smaller rocks , which can then be further reduced in size by a mill to produce a sand that can be treated to recover valuable materials.