Are the real product rule and quotient rule for integration already known?

indefinite-integrals

Recently, this integration rules were published in

Will, J.: Produktregel, Quotientenregel, Reziprokenregel, Kettenregel und Umkehrregel für die Integration. May 2017.

Will, J.: Product rule, quotient rule, reciprocal rule, chain rule and inverse rule for integration. May 2017.

Related

Fredholm operator norm
Find the Maclaurin series of f(x) [duplicate]
Solve recurrence for strings that do not contain the substring 101
How to find the dimensions of a rectangle if its area is to be a maximum?
How to prove this inequality: $f(2h-1)≤\frac{3h-1}{2}$
Is $x^3-6xy+y^2=-108$ a regular submanifold but not a regular $k$-submanifold?
Inverse of a composite function from $\mathbb R$ to $\mathbb{R}^p$ to $\mathbb R$ again with a non-zero continuous gradient in a point
Quaternion for beginner
A modular equation of 19th degree of Dedekind’s $\eta$ function.
Find limit of the following sequence: $\frac{\log(n+1)}{\log(n)}$?
Which non-Abelian finite groups contain the two specific centralizers? - part II
How can we prove that slopes increase in a convex function $f: \mathbb{R} \rightarrow \mathbb{R}$ from the definition?