f,g:().
  (x:. f zero beyond x) & (x:. g zero beyond x)
  
  (x:. (i.if i even f(i) else g(i) fi) zero beyond x)

1

1. f :  2. g :  3. x:. f zero beyond x 4. x:. g zero beyond x   x:. (i.if i even f(i) else g(i) fi) zero beyond x

8 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html