f(x) = FF1²x(GS1+2)-FF12 = Y