CancelledWithFunctionsAsIndeterminates​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity)

numerator over denominator with every function
of x that is not a polynomial in it -- a logarithm, an
exponential, a trigonometric function -- taken for an indeterminate: the two
cancelled by their greatest common divisor as polynomials in x and those, and the denominator written as its square-free factorisation, each
factor to its multiplicity, each sum written in the order writtenIn writes it where it writes it at all. Unchanged where either is not such a
polynomial, or where nothing cancels and nothing factors.