Hi, guys
I have a scenario to calculate the input ref in an expression, for
example:
date_sub(dt, 1) = '2021-07-29' to dt = date_add('2021-07-29', 1)
thus I can conclude that dt = '2021-07-30'.
I start from the most simplest form dt + 1 = 3. but it can't be
simplified or reduced.
I tried dt = 3 - 1 and it can be reduced to dt = 2.
I wonder if I can transform dt + 1 = 3 to dt = 3 - 1, the dt will be
calculated.
So I think if we need a transformation rule to implement this kind of
commute for expression,
or we have other existing solution.
Thanks for any suggestions.
