Conditionals in is_binomial_divp() should cause more early terminations now.