Antiderivatives are not unique.
Generally
diff(integrate(f(x), x), x) == f(x)
but we don't necessarily have
integrate(diff(f(x), x), x) == f(x)
because they can differ by a constant of integration:
>>> cancel(f - integrate(diff(f, x), x))
1
>>> cancel(f - diff(integrate(f, x), x))
0
--
Oscar