結果として現れるスタックは、formula_2と書く。