Define probability density function (#858)