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