Formula Machines