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