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.