Факториал факториала. Написать программу для вычисления

type 
  long = int64;
 
function fact(n:long):long;
begin
  if (n = 2) then
    fact:= n
  else
    fact:= n * fact(n - 1);
end;
 
var 
  n, m:long;
  f:real;
  
begin
  writeln('Введите n и m:');
  read(n, m);
  f:= (fact(n - fact(m))) / (fact(m) + fact(fact(n))) + fact(fact(m));
  writeln('Значение выражения: ', f);
end.

var overflow: boolean = false; //глобальная переменная!
 
procedure read_q(s: string; var x: extended);
begin
  repeat
    write(s, ' - неотрицательное целое;  ', s, ' = ');
    readln(x)
  until x >= 0
end;
 
function f(n: extended; k: integer): extended;
var p: extended;
begin
  Result := 1;
  overflow := overflow or (n > 1750);
  if not overflow
    then while n > 1 do
      begin
        Result *= n;
        n -= k
      end;
end;
 
function fact(n: extended): extended;
begin Result := f(n, 1) end;
 
function dfact(n: extended): extended;
begin Result := f(n, 2) end;
 
var m, n, y: extended;
begin
  read_q('m', m);
  read_q('n', n);
  y := fact(m);
  if not overflow
    then if n < y
      then writeln('Выражение не определено')
      else begin
        y := fact(n - y) / (fact(m) + dfact(n)) + dfact(m);
        if not overflow then writeln('y = ', y)
      end;
  if overflow then writeln('Переполнение');
  readln
end.