代入して結果を計算する(ev)

subst ではなく ev (evaluate) 関数を使うと、評価の順番を制御できます。ev は、指定された代入ルールを適用した後に式全体を評価します。 (google AI さんに教えてもらいました。)

書式としては ev(評価したい式, 代入ルール) という順番になります。(subst とは順番が「逆」)

subst と比べると、 ev のほうが私の「代入」という感覚に近く感じました。(あくまで土基の主観です。)