以上より、formula_2を以下のように書くことができる: