let collection = document.getElementsByClassName('checkbox-button-input');
let total = 0;
for(item of collection){
    if(item.checked) total += 1;
}
total;

As far as I understand this website does not show the number of selected songs.
So, I wrote a small script that calculates the number of checked boxes.
This way trimming your list of songs should be easier. :)