- is_zero() is now called on expanded expressions in gcd()