Let us look at one of the Leibniz papers written around 1680. While Leibniz had struggled in 1673 still
with the product rule (he seemed have predated a manuscript from 1675 to 1673 suggesting
that he thought about the product and quotient rule already in 1673, he appeared in
1677 to to have solved the puzzle and got the right formula. The following text is from
1680, where things are crystal clear already: