Gibbs entropy formula