if (diff := x - x_base) and (g := gcd(diff, n)) > 1: return g
g = special_gcd(x - x_base, n)
if g:
return g
if special_gcd(x - x_base, n) as g: