359です。

CTMCPのp.124以降に「局所手続きを使うこと」という節があります。
そのなかで以下のような（ニュートン法により根を求めるための）2つの関数がでてきます。
（もともとのコードはOzによるもので以下のものは私がLispに書き換えたものです）

CTMCPには「my-sqrt4ではimproveとgood-enough?がsqrt-iterの反復の度に生成されるが、
my-sqrt5ではそうではない」と書いてありました。

Lispではどうなっているのか？と思い、以下のコードを考えました。
しかし以下の2つのアセンブリコードは同等のものでした。
必要は特になく、ただ疑問だったので質問しました。