求助，为什么删掉这个条件就过不了呢

int main() {
    int x,y;
    cin >> x >> y;
    //y*x = P*Q
    ll mul = x * y;
    int cnt = 0;
    for (ll i = x; i <= sqrt(mul); i+=x) {
        if (mul % i == 0 && mul / i % x == 0 && gcd(mul / i, i) == x) {
            cnt+=2;
        }
    }
    if (x == y) cnt--;
    cout << cnt;
}

删掉mul % i == 0就过不了了，为什么啊，这不是恒成立的吗，mul是x的倍数,i也是x的倍数，这明明是个永真式