Is your feature request related to a problem or challenge?

After #19064 done, i found it can't meet my internal project requirements:

1. We can redesign the try_reverse_output to use eq_properties
2. We will change to use ordering_satisfy because it can handle the following cases:

        // - Normalizes both orderings (removes constants)
        // - Checks monotonic functions
        // - Handles prefix matching

Describe the solution you'd like

No response

Describe alternatives you've considered

No response

Additional context

No response