(x * (3 - tmp_0))
