what is the inverse operation for differentiation?