Syntax exercises in CS1

Explain, by showing a top-down expansion of F. newfun(x,y)= let z = if g(x) then 1 in if h(y) ...