The formula looks like ES - EF = free float. This means free float is calculated by subtracting the task's earliest finish date from its earliest start date.