with the power rule, we know that means

as you remember, derivative is an operation, and it is quite a destructive operation in the sense that we can’t find the original expression when given its derivative
antidifferentiation tries to get an idea of what the original expression was, and is depicted with the symbol

we have these identities where can be any constant

we also have the sum and constant multiple rules, the same as in derivatives

worked example: we know that and , find
we want to find the antiderivative of


given ,

worked example: we know that and . find