Exploring phase space with nested sampling