The input guarantees that the not-identity expressions have at least one x such that the expression result has absolute value larger than 1e-6.
Migrated from old NTUJ.