try
  10 * perform 3 + perform 4
with effect x, k -> k (x + 1) - 2