By default,
Cancel treats algebraic numbers as independent variables:
With
Extension->Automatic,
Cancel recognizes algebraically dependent coefficients:
Over the rational numbers the numerator and the denominator have no common factors:
By default,
Cancel treats trigonometric functions as independent variables:
With
Trig->True,
Cancel recognizes dependencies between trigonometric functions: