def f(x)
    (1 + 2 + x) * (x + (1 + 2));