v1 = A | B.
v2 = V2S (v1 * v1) | V2A.
v3 = V3S (v2 * v2) | V3A.
v4 = V4S (v3 * v3) | V4A.
v5 = V5S (v4 * v4) | V5A.
v6 = V6S (v5 * v5) | V6A.
v7 = V7S (v6 * v6) | V7A.
vs1 = (v7 * v7).
vs2 = (vs1 * vs1).
vs3 = (vs2 * vs2).
vs4 = (vs3 * vs3).

domain = vs4.
codomain = vs4.