Now the formal details of this operation seem to have already been attended to by differential calculus, where the transition from the original to the expansion function, and the relation of the one to the other, is established in general.