A Fredholm Determinant Representation in ASEP