Непонимание скомпилированных деревьев выражений?

У меня есть это выражение:

Expression<Func<string, bool>> f = s => s.Length < 5;

ParameterExpression p = Expression.Parameter (typeof (string), "s");
MemberExpression stringLength = Expression.Property (p, "Length");
ConstantExpression five = Expression.Constant (5);
BinaryExpression comparison = Expression.LessThan (stringLength, five);
Expression<Func<string, bool>> lambda= Expression.Lambda<Func<string, bool>> (comparison, p);

// позволяет: test

Func<string, bool> runnable = lambda.Compile();
Console.WriteLine (runnable ("kangaroo")); // False
Console.WriteLine (runnable ("dog")); //True

Я хочу спросить о .Compile ()

Что он компилирует? И в чем разница между первым исполнением и последующим выполнением ...?

Компиляция должна происходить один раз и не повторяться позже ....

Что / Как это мне помогает?