popbinheight^sampbinheight

(popcount - popbinheight) ^ (sampcount - sampbinheight)

 (sampcount C sampbinheight)

Is the combinations still looking ok, now that the system is describsd differently?  What is the whole expression?

Remember to simulate to find more mistakes.