'at' simplification



Dear all,

This:

at(diff(g(x),x),[y=1]) - at(diff(g(x),x),[y=0])

should result in 0. Is there a (built-in) way to achieve this? I would expect that 'at' (or some simplification function) would recognize that the expression is independent of y.