＞1' 6 7' を何も考えずに合成したらうまくいくんじゃないかと。
7が無理でしょ。

＞a0 * 定数 + 定数
＞の形に変形するくらいはできるかと。

これを7891011と繰り返さないと駄目じゃん、と言っている。

おれ間違ってるか？　そこまで自信たっぷりに言い切られる
と考え込んじゃうんだけど。

グラフィックのハードの設計とかいろいろ仕事でかかわって
半透明ブレンドの手法は勉強したけど、どんな場合でも
結局半透明は変更したものより上のレイヤーは順に描き
なおしが唯一の解だったよ。少なくともそれ以外の手法
をやってるものにはお目にかかったことが無い

加算だけなら1' 6 7'に出来るけどね。