completely substituted expressions with normalization constant