Recursive functions using Y

The recursive function f is the fixpoint of the expression (f....f...)

therefore f = Y(f....f...)

example:

f = Y(f.n.if n=0 then 1 else n*f(n-1)).

Hence one could reduce

Y.(f.if(iszero n) 1 (mult n (f (pred n)))3 ->* 6.