Identifying a framework for graphing formulas from expert strategies