z変換を使うと、出力formula_1は以下の式で表現できることが分かっている