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