derivative using chain rule inside product rule