(2 y 
  (1 y h 0 
     n h 1)
   n (4 y (3 y h 2 n h 3) n h 4))