One example is 
```
In [5]: type(terms_gcd(Eq(log(x), C1 - log(f(x)/x)/2)))
Out[5]: sympy.core.mul.Mul
```
I must have found a case before there terms_gcd returned a straight difference.