2 (x+y) ((x+y).(z.t))