The concept of the derivative in its current form was first developed by Newton in 1666, and a few years after him, by Gottfried Wilhelm Leibniz independently of each other. Leibniz, the greatest comprehensive genius of the 17th century, was Newtons rival in the inventing calculus. The general opinion today is that each of them discovered calculus independently of the other. Although Newtons discovery was made earlier, Leib-niz published the results earlier. He has extracted many of the rules of derivation, which a student learns in the beginning of an introductory course in calculus. The derivative of function f can also be represented by f^. This symbol emphasizes that f^ is a new fun-ction obtained by deriving from function f and its value at x is given by f^ (x). This symbol was used by Joseph Louis Lagrange in 1770 AD. Derivatives of higher orders are shown as the f^(first derivative), f^  (second derivative), and f^  (third derivative), f^((4))  (fourth derivative) and .......〖 f〗^((n))  (nth derivative). The rule for finding the derivative of the product of two functions is still called Leibnizs rule.

A generalization of a mathematical theorem is a theo-rem that gives a wider result with the same premise of the theorem. So that the generalized theorem is obtain-ned from it. Through the generalization of a theorem, it is possible to look at that theorem from a broader angle. Most mathematical works, even the results of outstanding mathematicians, are usually generaliz-ations of existing works and concepts. There are two types of the patterns for generalization: "result-based generalization" and the "process-based generalization". Generalization based on the result is a generalization that is obtained by recognizing a general pattern of the result itself. Process-based generalization is a general-ization resulting from a process that ends in a result, that is, a way that contains a specific chain of steps dependent on previous results (Niazai et al., 2022).

Leibnizs rule and its generalization are used to obtain the derivative of higher order in the product of two or more functions. For example, in functions such asu=sinx, v=lnx, and w=x^2, if we want to obtain the derivative of higher orders in their product (y=uvw), we use the generalization of Leibnizs rule for the product of three functions. This method makes us go through a less process in obtaining the derivative of higher orders, especially when the product of several functions cannot be written as a sum of several terms.

The derivative of the product of two or more functions and derivatives of the first to nth order:

Suppose u and v are two functions of x and we have: y=u.v then the derivative of the function y will be: (first order derivative): y^=〖(uv)〗^

Leibnizs symbolization method:

We assume that u and v are continuous. The deriva-tive of their product will be:  y^=u^ v+uv^

We also have several functions:

If the function is continuous and differentiable, we have: y^=f^ (x), if y^=f^ (x) is also differentiable, the second derivative of the original function y=f(x)  can be found:

Similarly, if y^=f^ (x) is differentiable, the third derivative of the function f(x)  is as follows:

Derivatives of higher order can be defined as follows:

Leibniz rule (derivative):

If y=u.v, where u and v are functions of x. we can say that the nth order derivative of y with respect to x is obtained from the following equation:

The relationship (I) is also written as follows:

The sum of derivative orders of functions u and v in each term is equal to (n):

The coefficient of each term in relation (I) is equal to:

The general expression of the relation (I) is as follows: 

 From the expansion sentences y^( )  and the relation (II), the general sentence can be concluded:

a_j is the derivative of functions u_i:

Order of the derivative of the function a_1:u_1

Order of the derivative of the function a_2:u_2

Order of the derivative of the function a_3:u_3

- Note (1): The general sentence of relation (II) is concluded through process-based generalization. 

Examples:

Leibniz's rule can be concluded from relation (II) (from its general sentence formula):

If we omit ????3????4…???????? functions in the general sentence of relation (II), we will have: 

With a little precision, we can see that the relationship between the coefficients and the order of the derivative of the functions in the expansion of Leibniz's rule is the same as the relationship between the coefficients and powers in the expansion of Newton's binomial. Also, the relationship between the derivative order of functions and coefficients in the generalization of Leibniz's derivative rule in the general sentence is the same as the relationship between the coefficient and power in the expansion of polynomials (general sentence): 

Examples:

Example: if the functions ????, ???? and ???? are functions of the variable ???? and we have    ????=????????????, the expan-sion of the third derivative of the function ???? is equal to 

Note (2): It may be possible to conclude the general sentence of the relation (II) through the generalization based on the result. The relation (I) is the same as Newton's binomial expansion. The general sentence of relation (II) is also the same as the general sentence of polynomial expansion, that is, relation (IV). Of course, we are more interested in process-based generalization here.