Discovering Area Formulas