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.