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