It looks like that should be

  x f1 ((f2 y) f3 ((f4 y) f5 (f6 y)))

though the docs include the phrase "which is part of a hook" and I don't know what that means.