A program attempting to find a formula for a specific thing