The anti-derivation is the "inverse" operation (but is really an inverse only in the univariate case, constant part aside). In swiftt it coincides with the classical integration on function. Both ...