ensure that EXPR1 is not divisible by EXPR2, fix #58979