Inferring Arithmetic Expressions from Data